On Tue, 10 Jan 2012 09:59:09 +0100, Peter17 <peter017(a)gmail.com> wrote:
Did you have time to look at my new fix?
Yep, just merged it. Once again, sorry for the delay. Thanks for the
Do you have any update about the new loopy-based
backend for Hedge?
No updates other than it's still going to happen. Hopefully sooner
rather than later, but only parts of my time are under my own control.