As far as I know, I am using 5.14 - used the upgrade from repository ui from a slightly older install. That would upgrade to 5.14, not head wouldn't it? Maybe something was missed in the upgrade scripts leaving the the bug? Anyway, should I check the bug reports for a resolution?
