>These patches have been checked into the head. Ok to check them into >the branch? No; I'd prefer not to add new ports at this stage unless they're completely trivial. We can think about adding this for 2.11.1. p.