Release develop in master (fix build process)#376

Merged

amacado merged 4 commits intomasterfrom

Dec 8, 2020

Commits on Dec 3, 2020

static branch name for build
amacado
authored

Commits on Dec 7, 2020

fix github font version and add alias
amacado
authored

Commits on Dec 8, 2020