Civil servants to receive one month year-end bonus

I am sure civil servants know what this is about but what’s pertinent to the general reader is how many people we are talking about and how many of them are these junior officers getting $500 more. It’s basic background.