Change Details

PLEASE! Pease delete this diff, it is an error (and a mess). Thanks!

Would you mind deleting this revision? This is a (failed) try at cleaning up the commits after review D6133. The new revision https://forge.softwareheritage.org/D6395 seems to be successful, though. Thanks for your patience.

PLEASE! Pease delete this diffWould you mind deleting this revision? This is a (failed) try at cleaning up the commits after review D6133. The new revision https://forge.softwareheritage.org/D6395 seems to be successful, it is an error (and a mess). Thanks!though. Thanks for your patience.