merged into unstable. There was a git problem doing a rebase, so since this change is just one file, I copied the final one to a new branch, then merged it.
_______________________________________________ Gnucap-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnucap-devel
