tree a3a42139d3e6044a7ad6b69f70d3d48d0f2ed6a8
parent 869b11e5c5bf97177554b54b350621e48a139672
author Davide Pesavento <davidepesa@gmail.com> 1566187325 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1566879732 -0400

util: backport C++17 [[nodiscard]] attribute

Change-Id: I6bdeeaed09a4a5d36647ec967aead47e4461e583