Skip to content

Commit

Permalink
Add file position to log (#1185)
Browse files Browse the repository at this point in the history 
Log the current position in the file when writing log messages.
Compressed sections will show the current position in the uncompressed version of the compressed section.
Closes #1032
  • Loading branch information
@chreden
chreden authored Sep 29, 2023
1 parent a52e0a9 commit e56dfdd
Showing 1 changed file with 170 additions and 165 deletions.
Loading

0 comments on commit e56dfdd

Please sign in to comment.