Any idea on when you'll be releasing a new version of graph_tool? I'd like to be able to deploy the fix from https://git.skewed.de/count0/graph -tool/issues/188 on our amazon servers. There was talk of a November release but it looks like that didn't work out (no worries, things come up) so I thought I'd ping again. Thank you! -Lisa
On 07.01.2015 22:39, Lisa Zorn wrote:
Any idea on when you'll be releasing a new version of graph_tool? I'd like to be able to deploy the fix from https://git.skewed.de/count0/graph-tool/issues/188 <https://git.skewed.de/count0/graph-tool/issues/188> on our amazon servers.
There was talk of a November release but it looks like that didn't work out (no worries, things come up) so I thought I'd ping again.
A release has finally been made! Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>
Thank you thank you thank you! You're the best!!! :D -Lisa On Thu, Jan 8, 2015 at 11:38 AM, Tiago de Paula Peixoto <tiago@skewed.de> wrote:
On 07.01.2015 22:39, Lisa Zorn wrote:
Any idea on when you'll be releasing a new version of graph_tool? I'd like to be able to deploy the fix from https://git.skewed.de/count0/graph-tool/issues/188 < https://git.skewed.de/count0/graph-tool/issues/188> on our amazon servers.
There was talk of a November release but it looks like that didn't work out (no worries, things come up) so I thought I'd ping again.
A release has finally been made!
Best, Tiago
-- Tiago de Paula Peixoto <tiago@skewed.de>
_______________________________________________ graph-tool mailing list graph-tool@skewed.de http://lists.skewed.de/mailman/listinfo/graph-tool
participants (2)
-
Lisa Zorn -
Tiago de Paula Peixoto