Skip to content

Conversation

@CirnoT
Copy link
Contributor

@CirnoT CirnoT commented Nov 22, 2020

Better take on #12382 that does not use any hacks and should universally fix it regardless of actual font used.

@GiteaBot GiteaBot added the lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. label Nov 22, 2020
@GiteaBot GiteaBot added lgtm/need 1 This PR needs approval from one additional maintainer to be merged. and removed lgtm/need 2 This PR needs two approvals by maintainers to be considered for merging. labels Nov 22, 2020
@lafriks lafriks added topic/ui Change the appearance of the Gitea UI skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. labels Nov 22, 2020
@lafriks lafriks added this to the 1.14.0 milestone Nov 22, 2020
@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Nov 23, 2020
@lafriks
Copy link
Member

lafriks commented Nov 23, 2020

🚀

@lafriks lafriks merged commit 78204a7 into go-gitea:master Nov 23, 2020
@CirnoT CirnoT deleted the patch-1 branch November 23, 2020 11:08
@go-gitea go-gitea locked and limited conversation to collaborators Jan 18, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. topic/ui Change the appearance of the Gitea UI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants