Closed danielskatz closed 3 years ago
Thank you. I have merged it. The Travis CI fail was due to migration from travis-ci.org to travis-ci.com. It is now resolved.
Thank you. I have merged it. The Travis CI fail was due to migration from travis-ci.org to travis-ci.com. It is now resolved.