Merge #7668: Fix history deletion bug after font size change
21e45a0 Fix history deletion bug after font change (Andrew C)
Merge #7668: Fix history deletion bug after font size change b24266c20748Unpublished Tags None Subscribers None
Description
Details
Merged Changes |