This can be helpful if there's no connection.
This can be helpful if there's no connection.
feature/include_list into master This can be helpful if there's no connection.
This reverts commit 933b3c34d3.
Approved by Wiebe Elsinga, merging
No due date set.
No dependencies set.
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?