Completed
Push — master ( e12292...f1a653 )
by Kévin
05:30 queued 02:07
created

No notable changes

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

8.65
▶   ± 0
Head
Kévin Dunglas  
Merge pull request #778 from meyerbaptiste/fix_cs
1 more commit
Base
Kévin Dunglas  
Merge pull request #752 from maechler/feature/typedValues