On Thu, 30 May 2019, Jonathan Wakely wrote: > I decided to make a few small changes, and ended up rewriting several > sections. Committed to trunk.
Thank you! That also nicely addressed the changed URLs I had noticed. Gerald
On Thu, 30 May 2019, Jonathan Wakely wrote: > I decided to make a few small changes, and ended up rewriting several > sections. Committed to trunk.
Thank you! That also nicely addressed the changed URLs I had noticed. Gerald