Change Details

This should fix the swh-docker-dev ci failure [1] [1] https://jenkins.softwareheritage.org/job/swh-docker-dev/lastBuild/console

This should fix the swh-docker-dev ci failure [1] Related to D4272 [1] https://jenkins.softwareheritage.org/job/swh-docker-dev/lastBuild/console

This should fix the swh-docker-dev ci failure [1] Related to D4272 [1] https://jenkins.softwareheritage.org/job/swh-docker-dev/lastBuild/console