diff --git a/doc/Developers.pdf b/doc/Developers.pdf
index 2f45f9b99e..9fffa69812 100644
Binary files a/doc/Developers.pdf and b/doc/Developers.pdf differ