On Sat, 9 Apr 2016, Maciej W. Rozycki wrote: > This is a functional change, so please let me know if you have any > objections (or any other questions or comments), or otherwise I'll apply > this change shortly. No comments received, so I have applied this change now. Maciej