20180812 city.mangaluru: Mischief mongers edit DC's circular; declare 'no holiday' in DK