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

[Andrew Cagney]

New commits:
commit 170901d0bcef40b616d3efe9a71379ad24a2a384
Author: Andrew Cagney <cagney at gnu.org>
Date:   Thu Oct 20 16:26:21 2016 -0400

    pluto: fix DBGP parameter, doco problem with printing kernel alg names