trac-github
trac-github copied to clipboard
Issue/136 logout button
I originally made the fix on top of my branch for #141 but I realized later that the conflicts weren't so bad to fix, so here is an independent PR.