Jakob Borg e9d27b9d2b Slightly improve panic log format (...)
- Don't repeat the first log lines
 - Print panic timestamp in context.
2014-10-09 09:39:08 +02:00
..
2014-10-01 07:53:59 +02:00
2014-10-01 07:53:59 +02:00
2014-10-01 07:53:59 +02:00
2014-10-01 07:53:59 +02:00
2014-10-01 07:53:59 +02:00
2014-07-01 12:20:25 +02:00