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!
