Commit d157810fc8eed7b3b5b84ea214e7d9d95863e7d0

Stefan Sperling 2018-06-21T23:36:40

make annotate_line() non-fatal; handles files getting short