Hmm, you might be right. NTDEV needs to do the git push dance, coulda swore he did already.

Where is the source for tiny11 core?