fix #6155
authorChristian Grothoff <christian@grothoff.org>
Fri, 3 Apr 2020 16:45:46 +0000 (18:45 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 3 Apr 2020 16:45:46 +0000 (18:45 +0200)
commit6fd24eef238349d71ddd5bff7b87b3404e972ba6
treecf144a3d95b37af5d25fe8d32814a0c57b86d8a8
parentbc01117ce0148ba819ce769ba9f61521e87f5ec9
fix #6155
src/util/strings.c