chiark / gitweb /
Merge branch 'rename' into 'main'
authorIan Jackson <iwj@debian.org>
Fri, 23 Feb 2024 16:46:43 +0000 (16:46 +0000)
committerIan Jackson <iwj@debian.org>
Fri, 23 Feb 2024 16:46:43 +0000 (16:46 +0000)
commit099ff17ee09f199b30edd5af321a6a9e4888e248
tree69175c0113cae39c1030c36faa027c8b78be5349
parentb5ab4d70a3697656e137daaf7fcdd2121ecd65e4
parent6fa8879d0556196d403d7da81fd4240f0f4df29c
Merge branch 'rename' into 'main'

Rename a maintenance script

See merge request iwj/hippotat!27