Closes #12 (closed)
Status changed to merged
mentioned in commit 2c561178
Environments updated on all CIs. Thanks.