See my comment in #64 for a test script.
Thanks Ulf for creating this and the test script!
Since the generation time difference is so huge I’ll mark this as WIP to prevent an accidential merge.
Let’s continue discussion the linked ticket.
No due date set.
This pull request currently doesn't have any dependencies.
Deleting a branch is permanent. It CANNOT be undone. Continue?