Closed mohierf closed 7 years ago
I self-merge this very simple update
Coverage remained the same at 83.019% when pulling 1ed13b738e093aefd58cecc318c5e40adf71f1c3 on clean-logs into 92039853c3f7af793f97167153390c15f997d88e on develop.
I self-merge this very simple update