Merge branch 'master' into github-actions
authorLuke Lau <luke_lau@icloud.com>
Fri, 20 Dec 2019 00:01:01 +0000 (00:01 +0000)
committerLuke Lau <luke_lau@icloud.com>
Fri, 20 Dec 2019 00:01:01 +0000 (00:01 +0000)
1  2 
test/Test.hs

diff --cc test/Test.hs
Simple merge