On Fri, Aug 02, 2019 at 11:51:16AM +0200, Carlos Maiolino wrote: > Christoph, may I keep your reviewed tag by updating the comments as above? > Otherwise I'll just remove your tag Feel free to keep them for any trivial changes. Indentation changes and adding comments always qualify as trivial.
