New commits:
commit c4346dc18a305ac8f5cdb2c94cc12214081027b3
Author: Andrew Cagney <cagney at gnu.org>
Date: Tue Aug 22 15:33:42 2017 -0400
pluto: rename /run/pluto/pluto.lock back to /run/pluto/pluto.pid
Lots of tests, and I suspect some hardwired fingers, assume pluto.pid.
Follow up to e0a15de38097fbaf775c8823a99843c4139d7bd2