From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 19 Mar 2022 21:46:49 +0000 (+0000)
Subject: stargate.epls: Fix a title-numbering hiccough.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/epls/commitdiff_plain/bccda47d11e13297a3a2e81066f94ec1da10b62c?hp=bccda47d11e13297a3a2e81066f94ec1da10b62c

stargate.epls: Fix a title-numbering hiccough.
---