Key legal question
Whether the revision proceedings had become moot after withdrawal of the revision request.
Extracted holding
The revision proceedings were struck from the docket as moot.
Extracted reasoning
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.