[phobos] amending a push request

[Andrei Alexandrescu]

So I have this push request with comments from Jonathan. How do I 
proceed about changing it?

Thanks,
Andrei
_______________________________________________
phobos mailing list
phobos@puremagic.com
http://lists.puremagic.com/mailman/listinfo/phobos