Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab

["C. Masloch" <pushbx@38.de>]

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