chiark / gitweb /
Merge branch 'advertise-gitlab' into 'main'
authorIan Jackson <ywiivi@fyvzl.net>
Sat, 8 Apr 2023 16:00:21 +0000 (16:00 +0000)
committerIan Jackson <ywiivi@fyvzl.net>
Sat, 8 Apr 2023 16:00:21 +0000 (16:00 +0000)
Advertise gitlab

See merge request yarrg/ypp-sc-tools!2


Trivial merge