2 PRs to integrate

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

2 PRs to integrate

SergeStinckwich

Now with the new workflow on github, we need people to review PR to merge in the dev branch. I have push 2 Pull Requests here:

I think this is better that the PR are reviewed for integration by someone different from the the author. So, please have a look to these PRs, discuss and/or merge.

‚ÄčThank you.‚Äč
--
Serge Stinckwich
UMI UMMISCO 209 (SU/IRD/UY1)
"Programs must be written for people to read, and only incidentally for machines to execute."
http://www.doesnotunderstand.org/

--
You received this message because you are subscribed to the Google Groups "PolyMath" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
For more options, visit https://groups.google.com/d/optout.