Accepted. Usually I'd refresh the patch set but it's hardly a requirement. Thanks for doing it, I have planned to do it since release but had a question about upgrade policy that I only got answered two weeks ago and with 7.1.5 being discussed upstream and no-one demanding an upgrade from 7.1.3 until now it hadn't been a priority. Thanks again.