Ok, the patches submitted by ejoy and jsonn have been added to the repository and will be removed once all those changes have been processed.
My patch is already merged and I have send ejoy a diff of his patch vs. CVS head. I could merge it, if there aren't complains.
Merged the other patch too.
In that case, should we remove the patch files from the repository now?
Thanks for doing the merge.
Log in to post a comment.
Ok, the patches submitted by ejoy and jsonn have been added to the repository and will be removed once all those changes have been processed.
My patch is already merged and I have send ejoy a diff of his patch vs. CVS head. I could merge it, if there aren't complains.
Merged the other patch too.
In that case, should we remove the patch files from the repository now?
Thanks for doing the merge.