Skip to content

Conversation

@vchrombie
Copy link
Contributor

@vchrombie vchrombie commented Nov 20, 2023

Clarifications

  • undo on a close file
  • readat cannot read uncommitted data
  • keep track of the offset

@vchrombie
Copy link
Contributor Author

Prof @JustinCappos, I think the rebase was successful. Could you check the PR once before merging it?

@JustinCappos JustinCappos merged commit 76e8b37 into SeattleTestbed:master Nov 27, 2023
@JustinCappos
Copy link
Contributor

JustinCappos commented Nov 27, 2023 via email

@vchrombie vchrombie deleted the undo-corrections branch November 27, 2023 23:07
@vchrombie vchrombie changed the title Update UndoParOne to add more clarifications Update UndoPartOne to add more clarifications Aug 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants