fixup! Added pong

src/l4/pkg/pong/include/logging.h

@@ -51,7 +51,7 @@ redirect_to_log(std::ostream &os)
 {
   // The basic_ios interface expectes a raw pointer...
   auto buf = new Log_Buffer<char>(256);
-  auto old_buf = os.rdbuf(buf);
+  os.rdbuf(buf);
-  // I guess we should delete this here?
+  // We should not free the old buffer because it has not been allocated
-  delete old_buf;
+  // dynamically.
 }