lib: Update getopt_int.h from Gnulib.
commitcff05f82066ca3ce9425dafdb086325a8eef8de3
authorJia Tan <jiat0218@gmail.com>
Fri, 22 Sep 2023 16:31:55 +0000 (23 00:31 +0800)
committerJia Tan <jiat0218@gmail.com>
Fri, 22 Sep 2023 16:31:55 +0000 (23 00:31 +0800)
treebeca3c1917df1fbd16fd93ce7b5f5b5bd90f8006
parent04bd86a4b010d43c6a016a3857ecb38dc1d5b024
lib: Update getopt_int.h from Gnulib.
lib/getopt_int.h