On Mon, Apr 23, 2018 at 11:36:25PM +0530, Souptick Joarder wrote: > If the insertion of PTE failed because someone else > already added a different entry in the mean time, we > treat that as success as we assume the same entry was > actually inserted.
No, Jan said to *make it a comment*. In the source file. That's why he formatted it with the /* */. Not in the changelog.
