Date of Posts in RSS Feeds on Update

[Jürgen]

One of our users reported the following:

Posts are sorted incorrectly in the feed in case of updates (at the time of the update of the post)
[...]
In the XML/RSS, the order of the posts is correct, but the publication date of the edited post is updated. At least this confuses my feed reader

Is this a known issue?