Ulrich Weigand <weigand@i1.informatik.uni-erlangen.de> writes: > So I'd suggest to leave the patch as is in that regard, and simply > add a ChangeLog line. That would be fine with me.