On at 2018-05-16 11:19 +0000, Mike Gabriel wrote: > Thanks for these test. I guess this will greatly help upstream to pin > down your issue. > > Furthermore, I assume you have installed pluma to /usr/local. And I > assume, that pluma has a proper "sudo make uninstall" target. Try that, > I hope that works for you.
I did sudo make uninstall and this seems to have restored pluma to running the version installed from the packages, version 1.20.1 (the master commit identified itself as 1.21.0 in the About page). Thanks! Regards, ecm
