On Mon, 23 Mar 2015, Thomas Klausner wrote:
Thanks. So if it survives a build, can I commit the attached patch?
Yes, that looks fine. --apb (Alan Barrett)