fix #6157
authorChristian Grothoff <christian@grothoff.org>
Fri, 3 Apr 2020 16:50:09 +0000 (18:50 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 3 Apr 2020 16:50:09 +0000 (18:50 +0200)
commit6d7fd3328a2ffe42ef52f914d913f1ee4d290adc
tree15bc27a8e17a24c67399dd04336b945a02c24a97
parent6fd24eef238349d71ddd5bff7b87b3404e972ba6
fix #6157
src/util/strings.c