[fix] #140 fix errors after merge resolve conflicts
Passed
Vincent Texier
created pipeline for commit
5aad2059
, finished
Related merge request !118 to merge remove_asyncio
3 minutes 32 seconds, queued for 4 seconds