Closed hobbestigrou closed 9 years ago
Does this even relate to the new design? I see a merge commit for "redesign-v2" 2 years, 7 months ago. This PR is from 3 years ago.
Can we close this?
The IRC link is already in the menu and I don't see an issue with the right hand side. @hobbestigrou pls open a new pull request if you still something. I'll try to attend it quickly.
Fix size menu.