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

[D. Hugh Redelmeier]

New commits:
commit 6d9c5c71e64c0d85164072a3b5ab5872495517ba
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Fri Jul 31 17:01:13 2015 -0400

    pluto: simplify d1f1def90b5fbaaf6ad7ac15fff70dba137fb3b8
    
    - Eliminate the chance that the limbs of an IF could diverge.
    - Remove a related comment that confused me.

commit 4dd87d6fc677154e607d1279e749a9443c5c76a6
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Fri Jul 31 16:57:13 2015 -0400

    in snprintf calls, replace bounds that were numerals with sizeof expressions