Skip to content

Rename Savepoint RollbackTo() and fix class comments and formatting#396

Merged
SRombauts merged 2 commits intomasterfrom rename-savepoint-rollback-toDec 15, 2022