Re: [Planner Dev] New pre-release, 0.12.92



Chris Ladd wrote:
Richard,

I fixed Bug #138549 a little while ago and have attached a patch to the
entry. It was scheduled for inclusion into 0.14 but I think it is ready
for the 0.13 release. Let me know if the patch needs any more work.

Ah, I missed that. Committed now, it looked good.

Thanks!
Richard

--
Imendio AB, http://www.imendio.com/



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]