I guess the LGTM failure was just a fluke, now it looks ok. Any updates open from your side?

nothing left to do, ready to merge.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.