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

[D. Hugh Redelmeier]

New commits:
commit 526a3c46693bdd521fbe4c739a33c4e8f5ce89c8
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Fri Dec 21 10:32:26 2018 -0500

    Revert "pluto: emit_v2N's "critical" parameter since it was identical in each call"
    This reverts commit 731aaeee4199340b6aaf42eab5fa56b7919cde0f.
    
    Paul: eventually this parameter will be exploited