Hi all, what is the procedure for upgrading KDE? Is it simply creating a new kde-4.13 tree with the new source versions or is it more involved? Is anybody working on this? Cheers, Wout. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20140601/20f97c11/attachment.html