Mark Rousskov 77ea0f4395 Merge pull request #740 from nikomatsakis/add-lang-agenda-structure před 5 roky
..
_issue.tt 1d4a4e0a2d Print repository name along the issue number (#657) před 5 roky
_issue_with_meta.tt 4d435e2e52 Remove PR support for issues searching před 5 roky
_issues.tt e15dbb441e Fix rendering spacing issues před 5 roky
_issues_with_meta.tt e15dbb441e Fix rendering spacing issues před 5 roky
lang_agenda.tt 40366c138f Create lang agenda skeleton před 5 roky
prioritization_agenda.tt 0eb851ba75 Rename agenda to prioritization_agenda před 5 roky