I pushed these two patches. John, I wasn't sure that you had reviewed this second patch, but I guessed that you had. My apologies if not.
_______________________________________________ pspp-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/pspp-dev
