Nicolas Goaziou <[email protected]> writes: > Also, I think it would be clearer to rename `opening-double-quote' to > `opening-primary-quote' and `opening-single-quote' to > `opening-secondary-quote'. WDYT?
In fact, I thought they needed renaming as well in light of the redefinition of " and '. Rasmus -- Hooray!
