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

[D. Hugh Redelmeier]

New commits:
commit 292ec75828cd9fbb8914e338444301bacbfc3f98
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sat Jun 19 09:55:40 2021 -0400

    pluto: kernel_xfrm.c: modest simplifications