Merge remote-tracking branch 'origin/release/19.12'

Authored by arojas on Jan 7 2020, 9:17 PM.

Description

Merge remote-tracking branch 'origin/release/19.12'

Merged Changes

CommitAuthorDetailsCommitted
51e0d9122cf2D26486arojas
Fix build with gpsd 3.20 
Jan 7 2020