Klemens Nanni Sun, 30 Sep 2018 08:35:27 -0700
Continues to work fine, so I just committed it. Thanks!
