tree b4cf881fab34b1b98293962862a9e423da50b53f
parent 1709aa70999bd8cbe0e7c680aaab37f2d24323a5
author Davide Pesavento <davide.pesavento@lip6.fr> 1488084407 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1489465031 -0400

util: backport std::experimental::ostream_joiner

Change-Id: I4d12269ac41f07d224772abc0e50039be519fdcc
Refs: #3962