Push update after branch is restored#9416

Merged

lafriks merged 5 commits intogo-gitea:masterfrom

saitho:master

Dec 26, 2019

Commits on Dec 18, 2019

Push update after branch is restored
saitho
committed

Commits on Dec 23, 2019

Apply suggestions from code review
saitho
authored

Commits on Dec 24, 2019

Merge branch 'master' into master
lunny
authored

Commits on Dec 26, 2019