Nick Wellnhofer schrieb am 19.12.18 um 17:02:
> On 30/11/2018 11:41, Nikolai Weibull via xml wrote:
>> OK, now I understand why it was working in my copy of the repository and
>> not yours. Something went wrong when you applied the patch, Daniel, as a
>> line was elided. Here’s a fix. We want to
Hi!
Stefan Behnel, 2018-12-24 11:43:
Nick Wellnhofer schrieb am 19.12.18 um 17:02:
On 30/11/2018 11:41, Nikolai Weibull via xml wrote:
OK, now I understand why it was working in my copy of the
repository and
not yours. Something went wrong when you applied the patch,
Daniel, as a
line was el
Nikolai Weibull schrieb am 24.12.18 um 12:00:
> Stefan Behnel, 2018-12-24 11:43:
>> Nick Wellnhofer schrieb am 19.12.18 um 17:02:
>>> On 30/11/2018 11:41, Nikolai Weibull via xml wrote:
OK, now I understand why it was working in my copy of the repository and
not yours. Something went wron
