On Thursday October 27 2016 12:05:33 Rainer Müller wrote: > Once again, our Trac is not hosted by GitHub. I know, but logging in does involve github as far as I can tell. I restarted my login session, so I have to log in again. R.