> Thanks for the GitHub repo, that's useful. For what I understand, if I > open a PR to your GitHub repo, it won't end up in the "official" project, > right? If that's the case, how are contributions to the project made? >
Yes, this is not an official repository, it is just for convenience since I update it with every new release. For contributions I send patch files to the list, so that Andrew can pick them up. Best Regards, Chris Matrakidis
_______________________________________________ Help-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-glpk
