Commit aa341aed authored by John's avatar John

fix previous commit for Unix (a line was not copied when merging the code)

parent 9f1cb84a
Pipeline #39327 passed with stage
in 50 seconds