Questão jurídica principal
Whether the revision request should be removed from the docket after withdrawal.
Decisão extraída
The Court took note of the withdrawal and struck the case from the docket.
Fundamentação extraída
Once the applicant withdrew the revision request, there was no need to adjudicate the merits; the proceedings were therefore terminated by removal from the docket.