Changes

#4 (Oct 2, 2019, 9:22:42 AM)

1. Update DevelopmentProcess.md — noreply / githubweb

#3 (Oct 2, 2019, 9:17:03 AM)

1. Update DevelopmentProcess.md — noreply / githubweb

#2 (Oct 1, 2019, 10:32:29 AM)

1. Minor updates. — noreply / githubweb