tools.pdt Committers,
Roy Ganor has expired the commit rights for Alon Peled (apeled). The
reason for this change is:
Alon was one of the first to contribute to PDT but his last contribution
was 6 months ago, he searches for new opportunities now.
I would like to thank Alon for his contribution to the project.