chiark / gitweb /
Merge branch 'changelog' into 'main'
authorIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 23:47:01 +0000 (23:47 +0000)
committerIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 23:47:01 +0000 (23:47 +0000)
commit66c9a56b04ef10b0214389993a8aaa077cf2196c
tree45c3c468e656f523b65ba71d9d4a486b4c9346ab
parentf8caf125c53cfd9ba8e070e3bb06c9d33ae402ff
parenta827236fb5de8f56af00501212748c15d90661ad
Merge branch 'changelog' into 'main'

changelog: Finalise 1.1.8

See merge request iwj/hippotat!17