Closed ArnaudBienner closed 4 years ago
I missed this when reviewing #43, sorry about that.
Closing this PR as this change was also part of #51.
I missed this when reviewing #43, sorry about that.