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

[D. Hugh Redelmeier]

New commits:
commit 784bca5c25b0005107b25df47fdc560a8f163af0
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sat Nov 3 12:53:04 2018 -0400

    pervasive: exploit chunk_eq()