Merge branch 'compile-print'
authorDavid Vázquez <davazp@gmail.com>
Mon, 22 Apr 2013 19:21:20 +0000 (20:21 +0100)
committerDavid Vázquez <davazp@gmail.com>
Mon, 22 Apr 2013 19:21:20 +0000 (20:21 +0100)

Trivial merge