chiark / gitweb /
Merge branch 'reldoc' into 'main'
authorIan Jackson <iwj@debian.org>
Fri, 16 Jun 2023 00:06:42 +0000 (00:06 +0000)
committerIan Jackson <iwj@debian.org>
Fri, 16 Jun 2023 00:06:42 +0000 (00:06 +0000)
Makefile: update release checklist for experience with 1.1.8

See merge request iwj/hippotat!18


Trivial merge