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

[D. Hugh Redelmeier]

New commits:
commit befbe77321e69144859afd82a68ae984b8adaa17
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Mon Sep 30 00:40:56 2013 -0400

    Annotate #includes of virtual.h: it needs connections.h
    Eliminate some pointless #includes in programs/pluto/xauth.c

commit 0368b2ad1633cc0f98e5e5b622b070fa75f2747e
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Mon Sep 30 00:32:32 2013 -0400

    Make macros less tricky: remove trailing coma.
    Simplify out_vendorid().

commit 6a80ed57272e5ded0b7188f85fefc4f5b648d1c1
Author: D. Hugh Redelmeier <hugh at redgnat.mimosa.com>
Date:   Mon Sep 30 00:25:07 2013 -0400

    consolidate compile_time_interop_options[]