Closed v4hn closed 7 years ago
@dornhege do you have time today to verify this before tomorrows migration? otherwise it looks good to me.
@v4hn can you cherry-pick it to jade/kinetic?
Unfortunately I was in the wrong time zone. For ease of mind, I just rebuild this and everything works fine!
for the record: the relevant changes were never merged in jade & kinetic, so there was no reason to cherry-pick them.
These were merged prematurely. At least two severe issues appeared because of these patchsets and a basic assumption about the working of AsyncSpinner turned out to be wrong.
@rhaschke I hope we can still get these issues addressed soon in the merged repository. Thanks for your work on them! Enjoy your vacation :)