Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Make the cursor a pointer for summaries #8597

Closed
wants to merge 0 commits into from

wooster0:patch-1% was force-pushed and no longer has any new commits.

Pushing new commits will allow the pull request to be re-opened.