I guess that should be a diff since there is already a script to update maps in source
In P232#1848, @Stan wrote: I guess that should be a diff since there is already a script to update maps in source
Might be useful, but I don't think it's good enough to be in the repo.
Can we make this visible without login?
Done :)