GitLab

This fixes a long-standing bug in the GPS emulation, and comes
from an open-source contributor (Rene de Groot)

See https://review.source.android.com/#change,10251