I had to force push github/master a bit ago; it appeared to have gotten out of sync with the jruby.org repository. I did make sure to merge github/master into jruby.org/master first, but if you have made commits recently please confirm that have not been lost.
Thank you! - Charlie --------------------------------------------------------------------- To unsubscribe from this list, please visit: http://xircles.codehaus.org/manage_email