kdevelop-4.7.2 is released since Oct 12, 2015 (KDE 4.7 or higher). Reproducible: Always
*** This bug has been marked as a duplicate of bug 563454 ***