(1.) Learned counsel for the petitioner submits that the writ petition has become infructuous.
(2.) The said submission is placed on record.
(3.) Accordingly, the writ petition is dismissed as having become infructuous.