[gpsd-commit-watch] [SCM] GPSD branch, master, updated. release-3.5-129-g8db3a42

[Eric S. Raymond]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GPSD".

The branch, master has been updated
       via  8db3a4249cd2e1d2509a7a569853737a788aed88 (commit)
       via  1c035cfa54bb65929642f70260dc23c8fee847e3 (commit)
      from  7728cc66e754dde4a33dfc45560dd1a96c772622 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 8db3a4249cd2e1d2509a7a569853737a788aed88
Merge: 1c035cf 7728cc6
Author: Eric S. Raymond <address@hidden>
Date:   Sat May 12 14:38:36 2012 -0400

    Merge branch 'master' of git.sv.gnu.org:/srv/git/gpsd

commit 1c035cfa54bb65929642f70260dc23c8fee847e3
Author: Eric S. Raymond <address@hidden>
Date:   Sat May 12 14:37:00 2012 -0400

    More Coverity suppressions.
    
    Also, remove our custom scan script, I'm going to publish a more
    polished version.

-----------------------------------------------------------------------

Summary of changes:
 devtools/README   |    4 ---
 devtools/cov-scan |   57 -----------------------------------------------------
 libgpsd_core.c    |    1 +
 ntpshm.c          |    2 +-
 4 files changed, 2 insertions(+), 62 deletions(-)
 delete mode 100755 devtools/cov-scan


hooks/post-receive
-- 
GPSD