Completed
Pull Request — master (#700)
by Jeroen De
07:15 queued 04:38
created

Changes

Good job, 1 issue was fixed.
9.18
▶   ± 0
Test Coverage
91%
▶ ±0%
Head
Jeroen De Dauw  
Merge d04146ff8ef284912f1a30b08f8c2d562e9c3992 into fcd2482193adb823d178b6bf09948da29795dc6f
1 more commit
Base
Jeroen De Dauw  
Merge pull request #699 from wmde/lessNumericIds