I also grepped the repo for similar occurences, but couldn't find any.
Should have been a single commit but unfortunately I only noticed the auto-format changes when I tried to create a PR with the first one...
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?