tree 38d41831dfd8aa9d8d06f60d51ec261aa83a33d8
parent d06229b4a7f87e89779688c228b97d86f174e586
author GianMaria Romanato <gm.romanato@gmail.com> 1483960999 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> 1483960999 +0100

Change code to improve readability of stack trace.