Fix prob macros#147

Merged

mohdibntarek merged 4 commits intodevfrom

probmacro_bugfixes

Aug 11, 2020

Commits on Jun 28, 2020

Commits on Jul 3, 2020

Merge branch 'dev' into probmacro_bugfixes
devmotion
authored

Commits on Jul 28, 2020

Apply suggestions from code review

devmotion
and
torfjelde
authored