On Mon, May 01, 2017 at 09:12:59AM +0200, Ingo Molnar wrote: > ... is this extension to the changelog correct? Looks good to me. -- Kirill A. Shutemov -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>