New commits: commit 814f62e6b6ebd32b5ed78bb77f9c3f79668eb7b5 Author: Paul Wouters <pwouters at redhat.com> Date: Tue Feb 12 00:27:04 2019 -0500 Revert "pluto: and another proposals.h" This reverts commit 26e03872212619f371ef1ad5cccd4814d5e67315.