tree 108d6b9644184ad0817cabd3d681c7f72f0b725e
parent ef952a130e302e83f034992b774915563521c425
author Joseph Kogut <joseph.kogut@gmail.com> 1509743453 -0700
committer Peter Korsgaard <peter@korsgaard.com> 1509912838 +0100

docs: update DEVELOPERS modification process

Signed-off-by: Joseph Kogut <joseph.kogut@gmail.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>