How should we manage branches? There are improvements like these Bison and Flex changes that could go to ‘core-updates’, which would be beneficial to everyone in the long term.
Perhaps you could cherry-pick these changes in ‘core-updates’ and then rebase ‘wip-hurd’ on top of it? WDYT? Ludo’.