That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/
a much ruder but just as stereotypically Swiss German thing as the "-li" suffix ;)
I actually reported the same pair of bugs to them 2021-03-01, so I don't think they're interested in fixing it...
That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/
a much ruder but just as stereotypically Swiss German thing as the "-li" suffix ;)
I actually reported the same pair of bugs to them 2021-03-01, so I don't think they're interested in fixing it...