Fix missing adaptation from the previous commit
This also fixes the build [1]
Related to 6682bcc98f4d580f452a607665782c6cadd96f45
[1] https://jenkins.softwareheritage.org/job/DVAU/job/tests/875
ardumont | Authored on Nov 18 2020, 6:00 PM |
ardumont | Pushed on Nov 18 2020, 6:01 PM |
Buildable 17215 | |
Build 26577: test-and-build | Jenkins console · Jenkins |