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

[D. Hugh Redelmeier]

New commits:
commit 56dc77beba667853b0d2f017d373497942d686ab
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sun Aug 19 02:12:46 2018 -0400

    pluto: clarify odd bits in aggr_inI2

commit 3f29a679a4c02a13fd152c2f86bebba87739f32f
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sun Aug 19 02:10:25 2018 -0400

    pluto: aggr_inR1_outI2_tail: correctly build ID payload for hashing

commit d05bc7443be96d1c299e04420930d2846ba8e7d6
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sun Aug 19 02:06:52 2018 -0400

    pluto: aggr_inR1_outI2_crypto_continue: add a passert to check an assumption

commit bca7372f2e92b764d9af15b95a9f83a873e3a8ef
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sun Aug 19 01:31:44 2018 -0400

    pluto: delete main_inR3; rename main_inR3_tail as main_inR3
    
    main_inR3 only called main_inR3_tail
    main_inR3 was the only caller of main_inR3_tail