Merge branch 'PR/193'
commit5f7bf7ee719e0c1df1f792c76e7095ecfb7faca3
authorFrej Drejhammar <frej.drejhammar@gmail.com>
Wed, 29 Jan 2020 18:15:18 +0000 (29 19:15 +0100)
committerFrej Drejhammar <frej.drejhammar@gmail.com>
Wed, 29 Jan 2020 18:15:18 +0000 (29 19:15 +0100)
tree91ec403d1bed6d096a1c76b3fc6498d10f88701f
parent29ec91970e9fefbdf1f5ee45b3031ba7c85c62b6
parent601daf60f74529ae242a11308e167c288aa46a14
Merge branch 'PR/193'

Closes #193