I had a look at the two proposals and could not spot any obvious mistakes:
- the correct upstream git commit has been cherry-picked - I don't have any objections to attribution or log messages
Thanks again for shepherding this one through!
I had a look at the two proposals and could not spot any obvious mistakes:
- the correct upstream git commit has been cherry-picked
- I don't have any objections to attribution or log messages
Thanks again for shepherding this one through!