update with main (#1152)

zhifu gao

2023-12-06 81acb17544a05424dff0ef74f3aeb2ce9866ba6a

1
2
3
4
[submodule "doc"]
    path = doc
    url = https://github.com/gflags/gflags.git
    branch = gh-pages