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

[D. Hugh Redelmeier]

New commits:
commit 91a1e853710771cc2e4f08359792c35750b9b930
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sat Mar 11 17:35:38 2017 -0500

    pluto: adjust code to reflect meaning of "roof"
    
    Our convention is that a "roof" is greater than any proper value.
    (A "ceiling" or "max" would be the largest proper value.)