Okay, given the general enthusiasm I think it’s good this time!
I’ve approved the PR, I’m going to merge.
Yes, in that case you’ll have to rename your feature!
On my end it’s ok ![]()
Thanks to the developers
Okay, given the general enthusiasm I think it’s good this time!
I’ve approved the PR, I’m going to merge.
Yes, in that case you’ll have to rename your feature!
On my end it’s ok ![]()
Thanks to the developers