Completed
Push — ghci ( c3a01b...2fa3af )
by Jeroen De
33:27 queued 23:28
created

No notable changes

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

9.48
▶   ± 0
Head
Jeroen De Dauw  
Update resource module names
1 more commit
Base
Jeroen De Dauw  
Stop using deprecated method