On Thu, 12 Jul 2018 09:54:39 -0700, Paul S. Person
<pspe...@ix.netscom.com.invalid> wrote:
And here are the rest of the files needed to use the current
definition of final_regions. This gets the depot and my local
repository properly synchronized, at least for wgml.
This should now compile and handle many banners correctly, but not
all; work continues on some very puzzling problems.
Sorry for any inconvenience.