chiark / gitweb /
changelog: Document dgit-maint-merge change