rearrangement of settings file accordingly with #22848 #2
roberto.cirillo
commented 2022-03-07 10:59:10 +01:00
Owner
No description provided.
roberto.cirillo
added 1 commit 2022-03-07 10:59:11 +01:00
52a0c7ccd7
rearrangement of settings file accordingly with #22848
roberto.cirillo
merged commit 4febb19a82 into master 2022-03-07 10:59:15 +01:00
roberto.cirillo
referenced this issue from a commit 2022-03-07 10:59:15 +01:00
Merge pull request 'rearrangement of settings file accordingly with #22848' (#2) from feature/22848 into master
Loading…
Reference in New Issue
No description provided.
Delete Branch "feature/22848"
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?