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

[D. Hugh Redelmeier]

New commits:
commit 7560f5ec93929e8a0569cbd7ffbe5338a9671b07
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Mon May 16 13:45:39 2016 -0400

    pluto: kernel.c: clean up a couple of declarations and a format