Closed wiebeytec closed 4 years ago
The CI error is not related to my code, so I'll ignore that.
Because of logistical reasons, I had to manually copy my changed files and redo white space to make this pull-request, and later encountered a compile error. I don't recall what exactly. If indeed a problem, I can can redo it.
May save somebody else the amount of time I spent figuring it out...