Does anyone have an opinion on whether we should leave the gtk3 branch on place in the repository? Due to the merge, its complete history is now part of master, so nothing would be lost in removing it, but if anyone feels attached to it I can leave it.
_______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
