You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.
@frlan: I now also removed the option "Save project" and projects are also saved automatically if a workbench related project setting is changed. Also I fixed a little bug regarding this issue, see PR #877.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.