Skip to content

various minor improvements

David Verelst requested to merge dave into master

A few random minor robustness improvements in prepost.

Merge request reports