tree 078e432fc81505896d1820229367045b48fd7bca
parent 711419034010345c604724ef87ec3db91ffe0936
author Gustavo Niemeyer <gustavo@niemeyer.net> 1367350960 -0300
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1367350960 -0300

Tweak width so it can be inlined.