18.07.17 14:40, Antoine Pitrou пише:
Assuming you meant Martin von Löwis, I think Martin stopped contributing long before we migrated to git (unfortunately, I might add). I hope he's doing ok.
I meant Martin Panter. His was the third of most active committers recent two years, but didn't commit anything recent months.