A bit of 288a49279187 that got lost in editing
authoradvil <rawlins@gmail.com>
Wed, 20 Jan 2021 20:40:21 +0000 (15:40 -0500)
committeradvil <rawlins@gmail.com>
Wed, 20 Jan 2021 20:40:21 +0000 (15:40 -0500)
commitf312352147c677e3f2b416cf721061daf51a8349
tree08c433a076baeecd31d1dff3989104af20e2732e
parenta89a45757602832c4d7cc2c0c75d91c5dbbb79d3
A bit of 288a49279187 that got lost in editing

oops
crawl-ref/source/libutil.cc