mixing digits and letters Per Bothner (17 Jul 2019 22:50 UTC)

Re: mixing digits and letters Lassi Kortela (17 Jul 2019 23:25 UTC)

Re: mixing digits and letters Lassi Kortela (17 Jul 2019 23:33 UTC)

Re: mixing digits and letters Lassi Kortela (18 Jul 2019 07:13 UTC)

Re: mixing digits and letters Shiro Kawai (18 Jul 2019 07:19 UTC)

Re: mixing digits and letters Lassi Kortela (18 Jul 2019 07:45 UTC)