chiark / gitweb /
Merge branch 'deftly' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 Mar 2025 19:13:07 +0000 (19:13 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 20 Mar 2025 19:13:07 +0000 (19:13 +0000)
commit7e51b53bb00d1722d5be72347005885a70f3e489
tree4fa11d6b33cf6881a26bc540e3b43743afac502a
parentd1185d20459fefe158dfe9aca827d8ff8f5eedb2
parent95b4a9eb4766c6e216dfc348625a37609888ae87
Merge branch 'deftly' into 'main'

Switch to derive-deftly, and release 1.2.2

See merge request iwj/hippotat!52