Stephen Diehl

sdiehl is part of the following groups:

• Maintainers for picologic
• Maintainers for picosat
• Package uploaders