[Pan-users] Problem with pane resizing again.

[Hendrik Boom]

At least, it seems just like the bug that was fixed in version 0.143. 
(ea46a27 Fixed groups/body panels resizing in GTK 3 (Marek Černocký)) I 
upgraded it on my Devuan ascii ( = Debian stretch=stable) system from 
0.141 to the version in Debian testing in order to avoid it (just Pan and 
its declared dependencies got upgraded, otherwise I'm still on stable).

Now I'm running Debian's 1.144, and the problem has recurred, but 
strangely.

Where am I supposed to report this anyway?  I found the gnome bugzilla 
and reported it there (https://bugzilla.gnome.org/show_bug.cgi?id=795815) 
but there are enough messages around the web that the bugzilla is being 
discontinued that I'm not sure anyone relevant will see it there.

How strangely?  Version 1.44 worked cleanly for maybe a month or so, and 
then a few days ago the three-panel mode suddenly went crazy in the 
middle of Pan session.  One moment everything was fine; the next it was 
hopeless.

-- hendrik