OpenGrok version: 1.12.7

Release date: May 18, 2023