OpenGrok version: 1.3.6

Release date: Dec. 11, 2019