fix #5815
authorSchanzenbach, Martin <mschanzenbach@posteo.de>
Wed, 31 Jul 2019 11:47:43 +0000 (13:47 +0200)
committerSchanzenbach, Martin <mschanzenbach@posteo.de>
Wed, 31 Jul 2019 11:47:43 +0000 (13:47 +0200)
commit37a32e37e76172599461b264c7e545b2c56ebf3c
treec286769a67129acc1d53af4ec56e7812bc75720b
parent68064fbe8d5e0e13688d41d620bd78babb0b431a
fix #5815
src/include/platform.h
src/util/common_logging.c