fix sed cmd

This commit is contained in:
Wolfgang Hottgenroth 2019-06-11 14:54:37 +00:00
parent 48098d927f
commit 905793e381