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.