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

[D. Hugh Redelmeier]

New commits:
commit 291617e3fc2157f915dee21b10a84f94b8bba7fc
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Tue Jan 8 16:07:03 2019 -0500

    pluto: rename all the out_v2N* functions to emit_v2N*
    
    The new emit_v2N is different from the old emit_v2N (previously deleted).
    The compiler will catch any attempted use of the old function because the
    signatures are different.