On 2019-01-12 15:51:03 [+0000], Debian Bug Tracking System wrote:
> Paul just told me this should be ok now, so closing.

Okay. We have one additional breaks in git. If anyone needs more, I
don't mind adding them later if it helps…

> Ivo

Sebastian

Reply via email to