Don't push v1.13 tag but fake it#72

Merged

rftrdev merged 1 commit into

1dot13:masterfrom

CptMoore:master

Jan 12, 2023

Commits on Jan 12, 2023

Don't push v1.13 tag but fake a v0. Normalized product label, especially removed prepended v to avoid confusion with git tags, also matches the main menu logo now.
CptMoore
committed