Update DEVELOPERS.md
authorJavier Sancho <jsf@jsancho.org>
Thu, 31 May 2018 10:42:02 +0000 (12:42 +0200)
committerGitHub <noreply@github.com>
Thu, 31 May 2018 10:42:02 +0000 (12:42 +0200)
commit439b459adfa2adadb613ad9ec3779d6a8ec060c4
tree48c23d4915d4740b979fc28b97b15ccd6a96c8f4
parent3b69fc3150e21922485816efbeed22cb561f2af9
Update DEVELOPERS.md
DEVELOPERS.md