On 10.01.20 11:07, Andreas Tille wrote:
> since my upload was a bit questionable this gives us the chance
> to discuss it again. What option would you prefer:
>
> 1. I just re-upload what is in Git right now to new queue
> 2. Somebody who feels more competent takes over
> 3. Something else
I dropped the ball on this when I got back from the holidays, but I can
look into it now.
Chen-Tse, is your work already in the git repo on Salsa?