Closed Konfekt closed 1 year ago
I like the changes a lot, I'm just unsure why you changed that one specific thing.
The coverage tests are currently failing, I feel like this is something unrelated. Maybe @blueyed has any idea? I feel like if he does not chime in I might disable the coverage tests temporarily.
Sorry forgot to merge, because I spilled tea on my notebook and it took me a while to get it back in good shape. Now that I have it back, I found the tab of this PR again. Thanks a lot again :)
addresses #1092