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

[D. Hugh Redelmeier]

New commits:
commit 22973c441c598bce074a5018d81da62907d50a58
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Mon Oct 21 12:21:29 2019 -0400

    pervasive: bad_case() never returns: don't do anything after a call