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.