fix sed cmd

This commit is contained in:
Wolfgang Hottgenroth 2019-06-11 14:53:08 +00:00
parent d06ba450eb
commit 48098d927f