Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Fine to merge from my point of view!
Just a note that there might be some design issue with dialog vars, considering some reports on the tracker, but this has to be analyzed separately, not being something specific to PR, but impacts it.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.