Re: string-* and char-set:* Arthur A. Gleckler 19 Sep 2019 21:55 UTC