Merge branch 'pr-3'
authorBruno P. Kinoshita <kinow@users.noreply.github.com>
Fri, 24 Jul 2020 21:14:09 +0000 (09:14 +1200)
committerBruno P. Kinoshita <kinow@users.noreply.github.com>
Fri, 24 Jul 2020 21:14:09 +0000 (09:14 +1200)
commit341f5fa92c4727e169445ed6fa334919c3f6e5b6
treeccd7b050f09a4f4ef1d556471deb49453db21d1b
parentbd30239006a451b9cb0eb37d8c184f840dd58b27
parentc61f325fab9a80538a5c0c24419efd4f03471377
Merge branch 'pr-3'

This closes #3