Skip to content

F random minor improvements

Alexander Schlemmer requested to merge f-random-minor-improvements into dev

Some random minor improvements, i.e. error messages, a little bit of docs and some code cleanup. I'm sorry that this is a weird mixture, but it did not fit into other current MRs.

Merge request reports