hacky fix for 4588
authorChristian Grothoff <christian@grothoff.org>
Wed, 29 Jun 2016 19:22:26 +0000 (19:22 +0000)
committerChristian Grothoff <christian@grothoff.org>
Wed, 29 Jun 2016 19:22:26 +0000 (19:22 +0000)
commit43933dab999a5714dc86ccfd2e8ba6cae60fed1b
tree5ef25792066f2a90fb506f31786d415bb535db31
parent81ae4871c8451e1eb3a5b270c30f4833d35845c2
hacky fix for 4588
src/core/core_api.c