Commit 6b4a97c1 authored by Paul Eggert's avatar Paul Eggert

Fix some quoting glitches in doc strings

parent 26979628
Pipeline #4010 failed with stage
in 65 minutes and 40 seconds