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

[D. Hugh Redelmeier]

New commits:
commit 60956ab1eb15e13ab69aa8e010187ea653cdf4ef
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Sep 3 15:32:50 2019 -0400

    pervasive: exploit str_id(); shrink scopes of some local variables