Slightly modified version of the SerialGPS library (https://os.mbed.com/teams/components/code/SerialGPS/) to support the BufferedSerial class

shortlog@cc8f9d7f9bdb: not found in manifest