Fix typo in developers.md.
Merge pull request #27 from zizkovrb/tracis

Fix typo in developers.md.