I’m fine with either. A PR against release-5.12 will ensure it gets into the release.
1 Like
Thank you.
I will open a PR with Dev, I’m not sure I know the right commands to do this with the release-5.12
I’ll leave it up to you to sort this out with 5.12 and merge it when necessary.
I’d like to take this opportunity to say that I’ll be away from home starting next Wednesday afternoon - april 9th (French time) until the end of April 28.
I hope to have an internet connection.
Thank’s
Jacques
1 Like