Merged r8231, r8235, r8236, 8237 from trunk (#9795).
Merged r8258 from trunk (#9793).
Merged r8210 from trunk (#9792).
Merged r8209 from trunk (#9775).
Fixed rounding issue on spent hours column in CSV export (#10150).
Merged r8761 from trunk
attachment: fix that diff type is not saved in user preference.
Merged r8760 from trunk
scm: git: add test that diff type is saved in user preference.
attachment: fix that diff type is not saved in user preference (#10152)
scm: git: add test that diff type is saved in user preference (#10152)
Merged r8757 from trunk
Korean translation for 1.3-stable updated by Ki Won Kim.
