Re: [Wikitty-devel] Jenkins build became unstable: wikitty #440