Xinqi Bao's Git

follow-up fix: add -D_GNU_SOURCE for strcasestr for some systems
authorHiltjo Posthuma <[email protected]>
Mon, 7 Feb 2022 09:36:13 +0000 (10:36 +0100)
committerHiltjo Posthuma <[email protected]>
Mon, 7 Feb 2022 09:36:13 +0000 (10:36 +0100)

No differences found