454776e Updated URL.
Updated URL.
~jmbr pushed to ~jmbr/simple-milestoning git
New git repository added
See http://superadditive.com/notes/simple-milestoning/ for details.