You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.
There are still changes for the workbench plugin in this PR and I do not know how to remove them because they are in one commit with other changes. So I decided to better place a fresh PR, see #622. I close this one now.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.