KDE 3.1.2

[Dirk Mueller]

Hi, 

Ok, I wanted to do this sooner, but didn't come around doing this earlier. I 
plan to package KDE 3.1.2 next monday. If there are issues which must be 
solved before release (and are not yet), please let me know. 

Please backport stable and safe bugfixes now, and don't forget to add a 
changelog entry for notable changes in 

www/announcements/changelogs/changelog3_1_1to3_1_2.php


Thanks!

-- 
Dirk