Am 09.03.2012, 22:10 Uhr, schrieb Vincent Rivière
<vincent.riviere@freesbee.fr>:
Hello.
The mintv4e.prg kernel is as stable as other ones, there is no need to
specifically define DEBUG_INFO for it.
The attached patch removes DEBUG_INFO for mintv4e.prg.
Please commit.