David Neto bae8851111 DiagnosticStream keeps a copy of the position.
Don't store the pointer, as the underlying storage
could disappear.  This a bit more flexible and robust.
2015-11-10 15:57:04 -05:00
..
2015-11-10 15:57:00 -05:00
2015-10-26 12:54:39 -04:00
2015-10-26 12:55:33 -04:00