This is a continuation of @mieszko4's #210, processing mine and @mafiosso's review comments. Another review is not necessary, but I'm still creating a PR in order to leave a trace.
Merging this will also merge #210, giving @mieszko4 due credit for discovering the inconsistency.
This is a continuation of @mieszko4's #210, processing mine and @mafiosso's review comments. Another review is not necessary, but I'm still creating a PR in order to leave a trace.
Merging this will also merge #210, giving @mieszko4 due credit for discovering the inconsistency.