GAP Release V2.25 - Christmas edition

The two10degrees' elves have been busy working on a number of back-end improvements over the last few months, including server performance upgrades to all our front-end servers - hopefully you will notice a difference. Some noteworthy portal changes include improvements to the filtering options, a new time map tool and adjustments to the colour of Device Tracks. More info can be found on our support site.