A fix was applied today to the generation of work shifts with defined shift patterns and start/stop times going over the start or end of summer-time for a particular time-zone. Now shifts will start and end at the same (local) time in normal and daylight savings time both, as opposed to shifts starting at the same (GMT) time