fix bad merge
The content of 37b52b938579
was broken by a hg branch --rev xxx
invocation. This small branch redo this merge to re-introduce the dropped content.
On May 22, 2025, we will begin removing users who have never been confirmed or have never been active.
Contact the support if your user has been wrongly removed.
The content of 37b52b938579
was broken by a hg branch --rev xxx
invocation. This small branch redo this merge to re-introduce the dropped content.