chiark / gitweb /
dgit-maint-merge(7): updates re #852090: suggestions by me