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 pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev
