tree 8ee8b1f2ef065396c221e6d660b77249726ab474
parent 8efa20a62a82ff89b535031e5619071fa083a9ce
author Rick van de Loo <rickvandeloo@gmail.com> 1540572592 +0200
committer Rick van de Loo <rickvandeloo@gmail.com> 1540572592 +0200

Add changes for #1249

Closes #1249