fix #5626
authorChristian Grothoff <christian@grothoff.org>
Fri, 8 Mar 2019 14:33:30 +0000 (15:33 +0100)
committerChristian Grothoff <christian@grothoff.org>
Fri, 8 Mar 2019 14:34:11 +0000 (15:34 +0100)
commiteced0089b4b990a053459f46b20e23b1d1dfa1b2
treef1a1313162b0cf0fdd584ecc40a43a3f3123486e
parentd7b9a2b55f240654ca7fd663a52f4aac49777057
fix #5626
src/hostlist/hostlist.conf