GOOD news at last. So the Irish civil service has been allowed to keep its days off for the King’s Birthday and Empire Day.