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)
commit0fab633da267d953740403e5216e298044dd61fb
tree8cfe7e51347ce2cdddaa743b1786c771d7b85cfb
parent66c9a56b04ef10b0214389993a8aaa077cf2196c
parent0794336fd4921fdfc1c3bac179f4e9de66302701
Merge branch 'reldoc' into 'main'

Makefile: update release checklist for experience with 1.1.8

See merge request iwj/hippotat!18