Sorry, missed this earlier today :-)
I think we can commit tiny fixes directly on master in the future? I mean, I don't object to having two reviews, but might be more straightforward?
I try to always have review but you are right, it is unnecessary here :)
well if you like it, I'm happy to have a look at it.
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?