The 1.5.4-1.6 version of davfs2 gets an segmentation fault when trying to
umount webdav directories. 

> umount /home/user/webdav-dir
doesnt do anything.

> umount.davfs /home/user/webdav-dir
gets an segmentation fault.


The 1.5.6 version from this repo:
https://download.opensuse.org/repositories/home:/Sauerland:/hardware/openSUSE_Tumbleweed/

works without problems. 
Who can update the 1.5.4 version in the main repository (OSS)?

Further Information on the problem can be found here
(Something i dont understand good enough: compiling the paket with the C89 mode
helps to solve the problem)
[1] https://forums.gentoo.org/viewtopic-t-1096160-start-0.html
[2] https://bugzilla.redhat.com/show_bug.cgi?id=1710968

Best regards