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

[D. Hugh Redelmeier]

New commits:
commit 6e3275aa023ba1cb2ed272be0fb19495c91d3fa5
Author: D. Hugh Redelmeier <hugh at mimosa.com>
Date:   Sun Feb 9 02:42:17 2014 -0500

    clarify a debug message from delete_cryptographic_continuation