7 Oct
2013
7 Oct
'13
10:55 a.m.
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.
>