On Wed, Nov 06, 2019 at 12:02:21PM +0000, Stuart Henderson wrote:
> > > Ok, one more tweak.  Add MESSAGE to mention the executable rename to 
> > > platoterm
> > > as seen in editors/vis.
> > 
> > Also poke this one again.
> 
> OK sthen@

Imported, thanks Tim!

Reply via email to