It would appear that the code in gitdm which prints out the developer count has a bit of a bug. I've adjusted the number above. That was a sloppy mistake, and I apologize for the confusion - thanks for pointing it out.
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds