renamed github repo name to pull updates from
Merge branch '1.3.5'