Commit 069beec5 authored by Eric Bruneton's avatar Eric Bruneton

Fix the issue. Make the previously added test pass.

parent adb47e5f
Pipeline #763 passed with stage
in 5 minutes and 56 seconds