Loading
Fix off-by-one bug in writing history documents.
When we consider a history interval from start to end, we really mean the interval [start, end[. Fixing a few off-by-one bugs in the code.
When we consider a history interval from start to end, we really mean the interval [start, end[. Fixing a few off-by-one bugs in the code.