refs #7482 Remove old hosts #22
juan
commented 2024-06-18 17:55:55 +00:00
Owner
No description provided.
juan
added 1 commit 2024-06-18 17:55:55 +00:00
e4743e333c
refs #7482 Remove old hosts
juan
requested review from rubenb 2024-06-18 17:56:02 +00:00
rubenb
merged commit 601a0fb32a into main 2024-06-19 12:50:52 +00:00
rubenb
referenced this issue from a commit 2024-06-19 12:50:54 +00:00
Merge pull request 'refs #7482 Remove old hosts' (!22) from 7482-removeOldHosts into main
rubenb
deleted branch 7482-removeOldHosts 2024-06-19 12:50:56 +00:00
Loading…
Reference in New Issue
No description provided.
Delete Branch "7482-removeOldHosts"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?