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

[D. Hugh Redelmeier]

New commits:
commit 94391dda902a7f3cc26eb6a6a6e9e3425d9b53f9
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Wed Jun 27 16:54:08 2018 -0400

    pluto: simplify complete_v1_state_transition slightly
    
    ... and burn the savings in a comment about the stupidity of GCC