]> git.immae.eu Git - github/fretlink/purs-loader.git/commitdiff
Merge branch 'ryani33-fix-deprecated-warning'
authoreric thul <thul.eric@gmail.com>
Sat, 15 Apr 2017 19:48:32 +0000 (15:48 -0400)
committereric thul <thul.eric@gmail.com>
Sat, 15 Apr 2017 19:48:32 +0000 (15:48 -0400)

Trivial merge