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.