[08:55:07] [SemanticMaps] PeterTheOne pushed 1 new commit to master: https://git.io/viXuu [08:55:07] SemanticMaps/master 436b798 Peter Grassberger: Merge pull request #115 from SemanticMediaWiki/rel340... [08:55:32] [SemanticMaps] PeterTheOne closed pull request #116: Remove property default (master...rmdefault) https://git.io/viPk0 [20:08:14] [SemanticMaps] JeroenDeDauw deleted rmdefault at 7a6f4b7: https://git.io/vi1Uq [20:12:42] [SemanticMaps] JeroenDeDauw created rel340real (+1 new commit): https://git.io/vi1U8 [20:12:42] SemanticMaps/rel340real eadc826 jeroendedauw: Actual 3.4.0 release :) [20:12:57] [SemanticMaps] JeroenDeDauw deleted rel340real at eadc826: https://git.io/vi1UR [20:14:17] [SemanticMaps] JeroenDeDauw tagged 3.4.0 at master: https://git.io/vi1Ur [20:14:35] [SemanticMaps] JeroenDeDauw pushed 1 new commit to master: https://git.io/vi1U6 [20:14:35] SemanticMaps/master b230b92 Jeroen De Dauw: Merge pull request #112 from SemanticMediaWiki/qpregistration...