Commit 555f5f78 authored by Paul Eggert's avatar Paul Eggert

Fix a few more minor quoting problems.

parent c5fd4d37
Pipeline #4013 failed with stage
in 60 minutes and 16 seconds