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

[D. Hugh Redelmeier]

New commits:
commit f74726bdc60113f0fb58a2c10d4c81e6c35123fe
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Wed Jun 23 10:03:37 2021 -0400

    testing: fix type in filename in pluto/TESTLIST