Hi,
Given we had inputs from most of the usual suspects in this discussion
(sometimes in side channels), and the proposals have been made since a
little while, I'd say we can put a deadline on:
Sun, 08 Feb 2015 23:59:59 +0000
So unless no one raises concerns by then, #8657 can be worked on.
bert.