Just tested the patch and it looks good to go. On Mon, Jun 18, 2012 at 9:16 PM, Aaron Ballman <aaron at aaronballman.com> wrote: > Here's a revised patch that takes advantage of Sean Hunt's work on > attributes as well (and incorporates the changes Richard suggested > previously). > > Thanks! -- João Matos