On Saturday 18 of October 2014 16:15:11 Michele Calgaro wrote:
> I have other patches for TDevelop, they fix the API doc generation and toc
> list as well. One patch for the main repo and one for the packaging repo.
> Can I push or do I have to wait until RC2?

IMO: On TDevelop not depend on any other packages, so it's no problem, if it 
moves backward in the build queue on build-farm. Therefore, I see no problem 
to push patches now.

-- 
Sl�vek