This repository has been archived by the owner on Feb 24, 2022. It is now read-only.
1.0.3pre12: Merge pull request #4427 from dciangot/master
Pre-release
Pre-release
fix a couple of minor issues, in particular a syntax error in the cache_area/map.js view