Closed fabianneuhaus closed 7 years ago
which OMG-DOL issue was that? I remember that I have tried to mark this as in the other cases, but it has been very difficult and I gave up. Could we perhaps introduce a "diff note" (as I have done in two other places) stating that just the formatting has changed?
OK, I found a way of properly doing it, see efe3d4c0827bd4d06e5f1437c157c09af0cff4c5. I marked it as DOL-37, is this correct?
this was not a OMG issue. I would claim that formatting does not belong to the issues that we need link to a OMG issue. The same is true for changes on the title page (e.g., changing the date.)
I don't think that you even need to highlight this kind of formatting change as a change. I was just puzzled that it appeared in the diff still as in the original version (as long list)
so I will remove the hightlighting again...
The newly formatted keyword list ist not shown in the diff file.