3 Commits

Include renames

Author	SHA1	Message	Date
Ian Gulliver	5c50fa857f	Move lead delivery and the Merge & continue hold onto the coordinator	2026-10-21 13:59:37 -07:00
Ian Gulliver	36d6636220	Avoid unused line statistics when refreshing merge facts	2026-10-21 12:02:22 -07:00
Ian Gulliver	890fb6b691	Open merge dialog instantly from pushed merge facts	2026-10-21 11:48:21 -07:00