Add 1.17 support to TinyProtocol#194

Merged

dmulloy2 merged 3 commits intoaadnk:masterfrom

May 6, 2023

Commits on Jul 15, 2021

TinyProtocol: Add support for 1.17
djytw
committed

Commits on Jul 17, 2021

Also use HTTPS repos
djytw
committed

Commits on May 6, 2023

Merge branch 'master' into master
dmulloy2
authored