Merge branch 'plugin_state' into 'dev'
Koen van der Veen authored
Plugin state

See merge request !29
23d29ce4
Name Last commit Last update