Subtree update automation: do not use git subtree merge --squash#292

carolynzech merged 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:automation-fixestautschnig/verify-rust-std:automation-fixesCopy head branch name to clipboard