Follow up to changeset 410d736a9928f535e2591c9d5f32e8e0941f96d8.
commita9006c7e929967ddb298bc1be676245b21739deb
authorIvo Raisr <ivosh@ivosh.net>
Tue, 26 Jun 2018 17:17:23 +0000 (26 19:17 +0200)
committerIvo Raisr <ivosh@ivosh.net>
Tue, 26 Jun 2018 20:49:42 +0000 (26 22:49 +0200)
treeb6fac76c8d9fa61c98bc30ca74539949d4841a36
parent3df8d81f000a47c02a289ac9f4ba64fc4df9077e
Follow up to changeset 410d736a9928f535e2591c9d5f32e8e0941f96d8.

Fixes BZ#390471.
Patch by: Matthias Schwarzott <zzam@gentoo.org>
coregrind/m_errormgr.c