tree 815fbf59617005bf0e4bcf91a029bd5685d961b9
parent 5b519cf1fc6737054cf90b53667e7ddd3a51225f
author scentini <rosica@google.com> 1585899432 +0200
committer scentini <rosica@google.com> 1585899459 +0200

Silence -Wpessimizing-move warning