joerg dc6b8de015 Fix shell portability		2020-03-20 00:00:34 +00:00
..
patch-tests_options.sh.in