JeroenDeDauw / Maps

Completed

by Jeroen De

created 2020-10-20 14:51 UTC

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

9.48

▶ ± 0

Test Coverage

63%

▶ ±0%

Head	Jeroen De Dauw 2020-10-20 16:51 GMT+0200 Update branch alias
Base	Jeroen De Dauw 2020-10-20 14:50 UTC Merge pull request #639 from JeroenDeDauw/ghci