Fix gobraDirectory and change severity of the warnings#493

Merged

jcp19 merged 1 commit intomasterfrom stats-file

Jul 25, 2022

+28-19

Commits on Jul 25, 2022

Fix gobraDirectory; change severity of the warnings
jcp19
committed