Merge pull request #1731 from jaredpar/fix-oops

Move proposal to the right folder
This commit is contained in:
Jared Parsons 2018-07-19 15:29:36 -07:00 committed by GitHub
commit 91ffdd283e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23