Markus Armbruster Thu, 14 May 2020 22:56:28 -0700
Markus Armbruster <arm...@redhat.com> writes: > Paolo, would you like me to do the pull request myself?
I take that as a "yes" :) I'll throw in Philippe's "[PATCH v3 0/3] various: Remove unnecessary casts". Simple and amply reviewed.