Completed
Pull Request — master (#1806)
by
unknown
22:24 queued 04:11
created

Changes

Good job, 1 issue was fixed.
8.41
▶   ± 0
Head
Jérôme Billiras  
Merge 2a9fb3172e4a3d9383dada270d17ad8c53a53ee0 into 0dc131c12765d090b532261c9e2e6d5e74bc57ce
3 more commits
Base
Gilles Bourgeat  
Merge pull request #1725 from roadster31/cart-subst