1.3 went live, update GitHub version number