Commit 243d8707 authored by Ralf Jung's avatar Ralf Jung

move comments out-of-line to please the extremely picky macOS shell

parent 95ae2473
Pipeline #17487 failed with stage
in 0 seconds