chiark / gitweb /
Merge branch 'island' into 'main'
authorIan Jackson <ywiivi@fyvzl.net>
Sat, 8 Apr 2023 16:13:45 +0000 (16:13 +0000)
committerIan Jackson <ywiivi@fyvzl.net>
Sat, 8 Apr 2023 16:13:45 +0000 (16:13 +0000)
commit1800e3384e33703b3c27e472ca451b5e6e1ed519
tree5f661bee89165e48975f5726b7cde0d264023ab3
parent0ce695ae0aa6c7b6f9a07d8e8e7795fd8ef5b5ca
parentfa8b0deb7b4364d66a97998ddf67b4912e489fee
Merge branch 'island' into 'main'

Fix island name finding (fixes bug mentioned in wiki)

See merge request yarrg/jarrg!3