JUDGMENT :- It is represented that the above civil revision petition has become infructuous in view of the subsequent development. An endorsement is also made to that effect. Accordingly, the civil revision petition is dismissed as infructuous. No costs.