Question juridique clé
Whether the revision proceedings had become moot after withdrawal of the revision request.
Solution extraite
The revision proceedings were struck from the docket as moot.
Motifs extraits
Because the applicant withdrew the revision request, there was no longer any live matter to decide; the President could therefore dismiss the proceedings as moot under Art. 32(2) BGG.