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

[D. Hugh Redelmeier]

New commits:
commit 731aaeee4199340b6aaf42eab5fa56b7919cde0f
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Thu Dec 20 18:28:01 2018 -0500

    pluto: emit_v2N's "critical" parameter since it was identical in each call