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

[Paul Wouters]

New commits:
commit 76fc16a89bf44284003ea00a4ccf5876c4610adb
Author: Paul Wouters <pwouters at redhat.com>
Date:   Mon Feb 11 19:09:01 2019 -0500

    pluto: clean up a few proposals.h includes that are not needed