Pushed the feature with the commit referenced above, but no tests done. Test and if there are problems, open a bug, otherwise quickly confirm here it works to mark the case closed.

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