Skip to content

Fixes #734: added a warning about unsaved changes#758

Merged
BenGamma merged 7 commits intomasterfrom 734-warning-onpageleaveNov 11, 2019