Well, I'm not really insisting on this, but I probably would have suggested it to change in his SR too.
You probably have a point about not changing other people's contributions. Although, as this is just a formal thing, I suppose it's fine in this case...
+1, but shouldn't we better use "boo#1153789" instead of "bug #1153789" in khotkeys.changes? ;-)
Usually I'm against changing what's attributed to others, but feel free to fixup after accepting
Well, I'm not really insisting on this, but I probably would have suggested it to change in his SR too.
You probably have a point about not changing other people's contributions. Although, as this is just a formal thing, I suppose it's fine in this case...
PS: the changelog entry got duplicated by OBS in your branch now though.