[02:15:30] [SemanticResultFormats] JeroenDeDauw closed pull request #179: 2.4.0 release (master...rel240) https://git.io/vPrKQ [02:30:03] [SemanticResultFormats] JeroenDeDauw tagged 2.4.0 at master: https://git.io/vP6eu [02:47:34] [SemanticResultFormats] JeroenDeDauw pushed 1 new commit to master: https://git.io/vP6eh [02:47:35] SemanticResultFormats/master 1473e09 Jeroen De Dauw: Update INSTALL.md