Bastian Germann Mon, 20 Jul 2020 03:19:03 -0700
The changes are included in the current version. This issue can be closed.
