On Tue, 22 Jul 2014 21:19:22 +0200, Pedro Alves wrote:
> Thanks Jan.  Indeed I'd much prefer removing it.
> It's fine with me to still leave it in 7.8 in case we missed
> something.

Removed on trunk.


Jan