Merge pull request #231581 from r-ryantm/auto-update/opengrok
opengrok: 1.12.4 -> 1.12.6
authored by figsoda and committed by GitHub 2 years ago ab8a7b4d 05839be5