minor typo | Simplelists

minor typo Arvydas Silanskas (16 Jun 2022 18:23 UTC)

Re: minor typo Arthur A. Gleckler (16 Jun 2022 19:14 UTC)

Re: minor typo Per Bothner (16 Jun 2022 20:12 UTC)

minor typo Arvydas Silanskas 16 Jun 2022 18:23 UTC