Questão jurídica principal
Whether the revision proceedings had become moot after withdrawal of the revision request.
Decisão extraída
The revision proceedings were struck from the docket as moot.
Fundamentação extraída
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.