Fix for issue 795

In some cases the time zone array can be sorted in a different order than it is assumed to be. This patch ensures it
sorted in the order that binary search expects.

Change-Id: I9ea38559f3f3a2c771aea69d02ab04d0af552c5c
Reviewed-on: http://fulliautomatix.ics.uci.edu:8443/127
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Till Westmann <westmann@gmail.com>
1 file changed