After checking and regtesting, pushed as r17-375.

Many thanks for the patch, Samir.  May you do many more of them!

Paul

Reply via email to