Browse Tool Details
Notes: This is a trivial source patch that fixes compilation a error using C++17 compilers.