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

[D. Hugh Redelmeier]

New commits:
commit a7f126151a98b3ca5e11bc8358ef614170cf78f8
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Sep 28 12:22:48 2021 -0400

    pluto: kernel_xfrm.c: rewrite create_xfrm_migrate_sa() to make it simpler
    
    The new version should have identical results (except for catching some
    impossible situations).
    
    Nested IFs are eliminated.  Abstractions (usually pointer variables)
    are introduced to combine cases.
    
    The code length is not reduced.