CDO Homepage not shown under https://eclipse.dev/cdo/
On June 16 Denis sent a note to the mailing list: "Project websites domain change to eclipse.dev".
The CDO homepage was and is shown under https://www.eclipse.org/cdo/ , so I expected it to be shown now under https://eclipse.dev/cdo/ . But it is not.
Can this be fixed?