tree 31b235d1c7f10b0ce07f35a33af73b0a9ea051ef
parent f13ce15d441095493030404ab31eddb0fc08ca42
author scentini <rosica@google.com> 1585898639 +0200
committer scentini <rosica@google.com> 1585898666 +0200

Silence -Wpessimizing-move warning