20180626 city.delhi: Delhi HC stays cutting of trees for govt projects till July 4