JUDGMENT Learned counsel for the petitioner informs that the matter has become infructuous and accordingly, he has made an endorsement to that effect. Hence, the writ petition is dismissed as infructuous. No costs.