Dominique d'Humières Thu, 04 Aug 2016 06:59:47 -0700
The patch works as advertised. It would be nice to have it reviewed and committed.
TIA Dominique