What | Removed | Added |
---|---|---|
Flags | needinfo? |
Dear Werner, thanks a lot! But this is too dangerous for me, since I don't really understand what these lines mean exactly, and there are other people with sudo and administrator rights who have no idea what I would have done. If I make a typo, I could screw the whole system. Therefore, let us just settle on the fact that this bug is no more reproducible _for_me_---not because of technical issues, but because of organizational issues and my insufficient education. Ok?