[Merge] ~racb/ubuntu-dev-tools:diff-gz-identity into ubuntu-dev-tools:main

Sebastien Bacher mp+446078 at code.launchpad.net
Thu Jul 6 11:41:54 UTC 2023


Review: Approve

Thanks, the explanations on the bug are convincing to me and the code changes match what was described (+bonus points for documenting the reason)
-- 
https://code.launchpad.net/~racb/ubuntu-dev-tools/+git/ubuntu-dev-tools/+merge/446078
Your team Ubuntu Development Team is subscribed to branch ubuntu-dev-tools:main.




More information about the Ubuntu-reviews mailing list