[Swan-commit] Changes to ref refs/heads/master

[D. Hugh Redelmeier]

New commits:
commit 03bff8c06bcaf20583f05f7404aba872927bad62
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Wed Jun 27 22:10:18 2018 -0400

    pluto: connections.c: note a trick; make switch coverage clear for static analysis