Closed simonsan closed 3 years ago
Apart for these comments it looks good to me. I hope I haven't missed anything.
@MarcoIeni Before merging, can you please remove all the text in the message box down under the merge commit's title, it's not useful in most cases, and for sure also not here with all the commits. Thanks ;)
Closes #185