Comment 8 for bug 1655782

I think and hope so, Henning. It would have been in already if I hadn't made a couple of stupid mistakes when preparing the proposed upload.