Hi Bastian,

The repository how now been moved to the new location.

An upload was done that, hopefully, closes this bug.

If you feel there’s still something to be done on this bug, please feel free to 
re-open it.

Reply via email to