toolcontext: attach messages to location, even if quieted
authorJean Privat <jean@pryen.org>
Sat, 14 May 2016 01:26:59 +0000 (21:26 -0400)
committerJean Privat <jean@pryen.org>
Sat, 14 May 2016 01:26:59 +0000 (21:26 -0400)
commit3712c812ebd008aaa90c82e3d75cbb5ab6b967ca
tree91356f3f8c1591664392e90fc4eaf0c614d6abd7
parentb8c80d9bbf067f3bf2496113b1d0680e410c4ec3
toolcontext: attach messages to location, even if quieted

Signed-off-by: Jean Privat <jean@pryen.org>
src/toolcontext.nit