On Tue, 5 May 2020 at 16:10, David Rowley <dgrowle...@gmail.com> wrote: > In previous years, during the development of this you've had HTML > comments to include the commit details. Are you going to do that this > year? or did they just disappear in some compilation phase you've > done?
Never mind. I just saw them all in the commit you've pushed. David
