Bruno Haible Tue, 23 Jan 2018 00:32:50 -0800
> In lib/glthread/thread.h: "time(not" → "time (not"
Fixed. Thanks.
