Fix quoting and unquoting of primitive strings (#1109) for 8.20#1110

Merged

yforster merged 1 commit intoMetaCoq:coq-8.20from yforster:cherry-pick-tString

Oct 30, 2024

+17-8

Commits on Oct 30, 2024

Fix quoting and unquoting of primitive strings (MetaCoq#1109 )

MathisBD
authored and
yforster
committed