agl/pond — pull request #137 by burdges (2014-11-03 21:48:48+00:00)
Title: Rename contacts feature for the GUI

Joint effort by Jeff Burdges , Alan Fay , and Ram Vedam , squashed under one commit so that @agl can audit it more easily.