On donderdag 16 september 2021 09:55:59 CEST Bhushan Shah wrote: > - To avoid the git history mess, we can revert it in 5.23 > branch after it is branched, and keep master as-is Honestly, don't be such a purist about a clean git history. Its not worth the effort.