Reply to 848833380917686272
Pointers to line numbers are not needed (and will wrong with the next change to the file anyway).Reply to 848833380917686272
Pointers to line numbers are not needed (and will wrong with the next change to the file anyway).