Closed BerndPaffenholz closed 1 year ago
hi @BerndPaffenholz . thanks, but:
Sorry, the deletion is an accident. Should i try a new PR?
hi @BerndPaffenholz ,
Sorry, the deletion is an accident. Should i try a new PR?
that's an option, or youu can overwrite thhe git branch
Hello,
I found a duplicate cookie in goedel. That's a contradiction ;)