This bug was fixed in the package kdevelop - 4:4.4.1-0ubuntu1
--------------- kdevelop (4:4.4.1-0ubuntu1) raring; urgency=low
* New upstream release (LP: #1074875) - Drop okteta_optional_structures_tool.diff + Use upstream's solution -- Rohan Garg <email address hidden> Sun, 04 Nov 2012 23:08:10 +0000
This bug was fixed in the package kdevelop - 4:4.4.1-0ubuntu1
---------------
kdevelop (4:4.4.1-0ubuntu1) raring; urgency=low
* New upstream release (LP: #1074875) optional_ structures_ tool.diff
- Drop okteta_
+ Use upstream's solution
-- Rohan Garg <email address hidden> Sun, 04 Nov 2012 23:08:10 +0000