I see this patch has been applied in CVS in June (as part of Debian patches import), so this bug can be closed. I will open a new one for the gnome-panel 3.22 transition soon.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I see this patch has been applied in CVS in June (as part of Debian patches import), so this bug can be closed. I will open a new one for the gnome-panel 3.22 transition soon.