Merge branch 'nikodemus-patch'
authorDavid Vázquez <davazp@gmail.com>
Mon, 6 May 2013 13:28:26 +0000 (14:28 +0100)
committerDavid Vázquez <davazp@gmail.com>
Mon, 6 May 2013 13:28:26 +0000 (14:28 +0100)
commit7400cc6aa0d844c290b04d4901bd15249f70108f
treef9553fe86ccbfdb58def5b2503d66732087928a8
parent0205a8a433a587e5f1f880b63edbdf169972102c
parentd204a3907769bfafd55fe8ca1b927a0b61812a56
Merge branch 'nikodemus-patch'

Closes #47