On Fri, Aug 25, 2017 at 06:03:20PM -0400, Doug Torrance wrote:
> Ok, great!  So it seems like the issue was that the WMRootMenu in your home
> directory was no longer pointing to the correct file.
> 
> Do you think the correct fix to this bug would be better documentation for
> the change?  Or something else?

Yeah, a notice in the NEWS file or something like that would probably be
a good idea.

I've been copying around the same wmaker config since 1999, so who knows
how that got added in the first place.

Reply via email to