Permission given for Pune procession to mark Tipu Sultan birth anniversary, HC told