]> git.immae.eu Git - github/fretlink/purs-loader.git/commitdiff
Merge branch 'paluh-master'
authoreric thul <thul.eric@gmail.com>
Sat, 5 Nov 2016 21:49:56 +0000 (17:49 -0400)
committereric thul <thul.eric@gmail.com>
Sat, 5 Nov 2016 21:49:56 +0000 (17:49 -0400)

Trivial merge