Skip to content

Small fixes and cleanups

Dmitry Yu. Naumov requested to merge endJunction/ogs:Cleanup into master

A set of unrelated commits for smaller fixes and cleanups, review commit-wise.

Merge request reports