When trying to put the hat on of a contributor to my own project, I did not manage to create a pull-request. It appears I should have gone via "compare across forks". Not very logical when you are comparing branches in a single project.
Merging would undo the changes by 7536e999f6a4b24b5a4a6e80dbb9644b804a9872 So I won't merge this, but use it as an exercise to discuss proposed code.
@Veronika
When trying to put the hat on of a contributor to my own project, I did not manage to create a pull-request. It appears I should have gone via "compare across forks". Not very logical when you are comparing branches in a single project.
Merging would undo the changes by 7536e999f6a4b24b5a4a6e80dbb9644b804a9872 So I won't merge this, but use it as an exercise to discuss proposed code.