I just bumped BaseX on Homebrew to 7.7.2, patch already got merged. Whoever's using Homebrew is just a 

    brew update; brew upgrade basex

away from the newest release.

Regards,
Jens
-- 
Jens Erat

 [phone]: tel:+49-151-56961126
  [mail]: mailto:email@jenserat.de
[jabber]: xmpp:jabber@jenserat.de
   [web]: http://www.jenserat.de

     PGP: 350E D9B6 9ADC 2DED F5F2  8549 CBC2 613C D745 722B
 

Anfang der weitergeleiteten Nachricht:

Von: Mike McQuaid <notifications@github.com>
Betreff: Aw: [homebrew] basex 7.7.2 (#23100)
Datum: 7. Oktober 2013 16:53:44 MESZ
An: mxcl/homebrew <homebrew@noreply.github.com>
Kopie: JensErat <email@jenserat.de>
Antwort an: mxcl/homebrew <reply+i-68992688-ffa65db8839fe5d83e9eccef8d1c043a081d3fe5-628441@reply.github.com>

Closed #23100 via f7ace42.


Reply to this email directly or view it on GitHub.