Closes #1313
Errors in tasks are now dumped regardless of their actual setting
Fixed marking all account notifications read
Fixed an error in the backend problems manager
Editor help buttons now link to the new user manual [note: config.yaml: external-url.help should be updated]
Closes #1313 Errors in tasks are now dumped regardless of their actual setting Fixed marking all account notifications read Fixed an error in the backend problems manager Editor help buttons now link to the new user manual [note: config.yaml: external-url.help should be updated]