]> git.immae.eu Git - github/fretlink/purs-loader.git/commitdiff
Merge pull request #3 from cyrilfretlink/4.1.0
authorCyril Sobierajewicz <38043722+cyrilfretlink@users.noreply.github.com>
Mon, 18 Mar 2019 13:06:12 +0000 (14:06 +0100)
committerGitHub <noreply@github.com>
Mon, 18 Mar 2019 13:06:12 +0000 (14:06 +0100)
Version 4.1.0


Trivial merge