[09:38:36] [SemanticMaps] kghbln created bye342 (+1 new commit): https://git.io/v1eU8 [09:38:36] SemanticMaps/bye342 62f9e76 Kghbln: Make 3.4.2 farewell release... [09:40:19] [SemanticMaps] kghbln opened pull request #125: Make 3.4.2 farewell release (master...bye342) https://git.io/v1eU0 [09:44:25] [SemanticMaps] kghbln pushed 1 new commit to bye342: https://git.io/v1eUh [09:44:25] SemanticMaps/bye342 11327d9 Karsten Hoffmeyer: Update INSTALL.md... [16:15:47] (Draft2) Yaron Koren: Added tab index for map inputs [extensions/PageForms] - https://gerrit.wikimedia.org/r/323167 [16:17:48] (CR) Yaron Koren: [C: 2] Added tab index for map inputs [extensions/PageForms] - https://gerrit.wikimedia.org/r/323167 (owner: Yaron Koren) [20:00:48] [SemanticMaps] JeroenDeDauw pushed 1 new commit to master: https://git.io/v1vuD [20:00:48] SemanticMaps/master 67a9b86 Jeroen De Dauw: Merge pull request #125 from SemanticMediaWiki/bye342... [20:02:12] [SemanticMaps] JeroenDeDauw tagged 3.4.2 at master: https://git.io/v1vux [20:07:23] [SemanticMaps] kghbln deleted ru at 1e9bb9e: https://git.io/v1vzz [21:14:27] (PS1) Cicalese: Split non-semantic functionality into DisplayTitle [extensions/SemanticTitle] - https://gerrit.wikimedia.org/r/323252 [21:19:28] (PS2) Cicalese: Split non-semantic functionality into DisplayTitle [extensions/SemanticTitle] - https://gerrit.wikimedia.org/r/323252