
        Update to current rust: use the new attributes syntax.

a39ffd3