On Fri, 10 Apr 2015 21:27:18 +0200, Pedro Alves wrote:
> Nobody spoke up for it, so, OK.
> 
> I think this should have a NEWS entry.  Could you prepare one?

OK for check-in (merged with the other patch), Eli?


Thanks,
Jan