Also looks good, thanks. Should we also update debian/changelog at the same time? I see that has not been our practice in the past, but I don't know why we shouldn't.