@rfc2822 My bad, but thanks for pointing me to the docs!
Last Sunday F-Droid made the new version of DAVx5 (18.104.22.168-ose) available. I can confirm that the issue is resolved for me now. Thanks!
You did not tag the 1.8.5 release and so F-Droid can’t build it. Can you tag it?
Oh sorry, we forgot that. Will be tagged soon!
Thanks for the hint, I forgot to push the tag. Here it is. :)
@rfc2822 same again unfortunately. Maybe you should use some automation which assists you with tagging automatically?