[13:37:35] <smw-github>	 [SemanticMediaWiki] JeroenDeDauw created improve-ths (+1 new commit): http://git.io/vqcrU
[13:37:35] <smw-github>	 SemanticMediaWiki/improve-ths b7ce3ef jeroendedauw: Improve type hints