On 24/04/17 14:46, Makarius wrote:
> This is another attempt to open a discussion about Jenkins at TUM.
Thanks to everyone who participated on this thread. I have learned a few
new things, which I will pick up again soon.
Makarius
___
isabelle
Before I forget: I did that and it is as expected; everything still works.
Manuel
On 2017-04-25 11:12, Florian Haftmann wrote:
Am 25.04.2017 um 11:06 schrieb Manuel Eberl:
I think you actually solved that problem by now. If I recall correctly,
it was one of the two dictionary-related problems
