modeling.gmt Committers, Jean Bezivin has expired the commit rights for Karsten Thoms (kthoms). The reason for this change is: Karsten is no more committing in GMT.