What is the procedure for submitting patches to the git repository? Should a submitter just do a pull request from their forked repository?
Chris. -- http://www.bluishcoder.co.nz _________________________________________________________________________________ mozart-hackers mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-hackers
