Probably. Here in spain public workers have 35 hours work week and global 37,5 is being introduced. For this we usually take off half an hour or an entire hour each day.