On Mon, 30 Jan 2023, Gerald Pfeifer wrote:
> On Sun, 31 Jul 2022, Jonathan Wakely wrote:
>> https://www.open-std.org/ says "The site www.open-std.org is holding a
>> number of web pages for groups producing open standards:" but I don't
>> think it really matters which we use.
> It's not a biggie, t
On Sun, 31 Jul 2022, Jonathan Wakely wrote:
>> Marek, Jason, Jonathan - I noticed that (in other places) we have both
>> links to www.open-std.org and open-std.org, both of which seem to work.
>>
>> What is the preferred spelling of that site? With or without www? (The
>> latter would be shorter an
"
On Sat, 30 Jul 2022 at 22:28, Gerald Pfeifer wrote:
>
> This is a trivial change which fixes several dozen links.
>
> Marek, Jason, Jonathan - I noticed that (in other places) we have both
> links to www.open-std.org and open-std.org, both of which seem to work.
>
> What is the preferred spelli