On Wed, 4 Apr 2018, Alan Modra wrote: > These are all OK, please commit. Committed now (with a couple of minor commit description fixes and a line wrapping correction in `strip-13.d'). Thanks for your review. Maciej