Allow one to set a custom progress callback (#2609)

ming030890

2025-08-05 b3fb4c0acd5f52a313f024b6f69b8f025c6eddfe

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