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