update developer list
<role>committer</role>
</roles>
</developer>
+ <developer>
+ <name>Tilman Hausherr</name>
+ <id>tilman</id>
+ <timezone>Europe/Berlin</timezone>
+ <roles>
+ <role>committer</role>
+ </roles>
+ </developer>
<developer>
<name>Jukka Zitting</name>
<id>jukka</id>
