Lars Wirzenius 56b1e41eb0 Fix: quote expansion of $ROOT in case it has problematic characters ...

All the other uses of $ROOT are already quoted, so do it for this case
as well.

2019-12-06 17:09:31 +02:00

4.6 KiB

Raw Blame History

View Raw