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

[D. Hugh Redelmeier]

New commits:
commit 67542646a6f47d9e061a407be4c71950a354ff40
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Dec 18 13:57:04 2018 -0500

    pluto: state.h: clarify comments on struct state fields that are keying material