Completed
Pull Request — 1.1 (#15)
by David
13:26
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.79
▶   ± 0
Head
David Maechler  
Merge 37097005091e0f3284983501790da69a3139edbb into 1ca5956dc32feb3998cac9b96a83e954bdc02273
1 more commit
Base
David Négrier  
Merge pull request #14 from dmaechler/fix_simple_functions