Withdrawal of writ petition after detention order execution, with liberty to pursue appropriate proceedings under law.

The Delhi High Court record notes that the petitioner sought to withdraw the writ petition after it had become infructuous due to execution of the impugned detention order. Leave and liberty were granted to institute appropriate proceedings in accordance with law, and the petition was dismissed as withdrawn. The pending application was also disposed of.

---

---

Outcome: The petition was dismissed as withdrawn after the petitioner sought leave to withdraw it on the ground that it had become infructuous, with liberty to take appropriate proceedings in accordance with law.

---