]> git.uio.no Git - usit-rt.git/history - etc/upgrade/4.0.12
Merge branch 'master' of git.uio.no:usit-rt
[usit-rt.git] / etc / upgrade / 4.0.12 /
2013-08-14 Mikal Kolbein GuleUpgrade 4.0.17 clean.