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

[D. Hugh Redelmeier]

New commits:
commit 1b5c88d62da25f926a901350724f7ed4d83dd62d
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sat Apr 19 12:20:19 2014 -0400

    programs/pluto/virtual.c: ditch %4: kludge