wikimedia / mediawiki-extensions-Wikibase

Completed

unknown

created 2020-09-04 11:35 UTC

Good job, 1 issue was fixed.

9.16

▶ ± 0

Head	jenkins-bot 2020-09-04 11:34 GMT+0000 Merge "RdfBuilder: remove unused dep $sites (SiteList)"
⋮	1 more commit
Base	addshore 2020-09-04 09:34 UTC FP: Makefile for test systems for easier ansible