From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.8 required=3.0 tests=BAYES_50,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:ad4:4e23:0:b0:63d:38fe:1657 with SMTP id dm3-20020ad44e23000000b0063d38fe1657mr57980qvb.7.1690913513359; Tue, 01 Aug 2023 11:11:53 -0700 (PDT) X-Received: by 2002:a05:6870:954d:b0:1bb:5085:8201 with SMTP id v13-20020a056870954d00b001bb50858201mr15847437oal.6.1690913512770; Tue, 01 Aug 2023 11:11:52 -0700 (PDT) Path: eternal-september.org!news.eternal-september.org!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 1 Aug 2023 11:11:52 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=92.40.186.78; posting-account=5K6RMgoAAADQeoHIOMi2dg5aYc0IVxGi NNTP-Posting-Host: 92.40.186.78 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Membership setting for this group greyed out? From: Kevin Chadwick Injection-Date: Tue, 01 Aug 2023 18:11:53 +0000 Content-Type: text/plain; charset="UTF-8" Xref: news.eternal-september.org comp.lang.ada:65479 List-Id: > > There are several web-oriented Ada discussion fora, for example > > https://forum.ada-lang.io, not to mention stackoverflow and reddit. > > > There are also several Ada rooms (Ada, Alire, Ada Drivers Library...) on > Matrix (https://matrix.org/). Yes , I also prefer mailing lists to web tech. Matrix threading seems to be quite poor. Is there a decent mobile client for this usenet. Or any way to get all emails instead of just those that you are involved in? On Telegram someone else chimed in with: > > > If anyone finds out how to change that setting, I will be so grateful. > > > I remember to check my email, I don't remember to check the > > > Google page > > > Google doesn't even offer an rss feed anymore