Am Montag, dem 09.09.2024 um 17:54 +0200 schrieb Jean-Marc Lasgouttes: > I am even tempted to use std::move() here to > point out that this is the standard library method and not just a > function of our own. Thankfully, Scott has done that for my commit at 0a7585403832c -- Jürgen