This bug was fixed in the package davfs2 - 1.5.5-1ubuntu0.1
--------------- davfs2 (1.5.5-1ubuntu0.1) focal; urgency=medium
* Fix segmentation fault druing umount.davfs2. (LP: #1883025)
-- Hsieh-Tseng Shen <email address hidden> Thu, 18 Jun 2020 10:07:37 +0800
This bug was fixed in the package davfs2 - 1.5.5-1ubuntu0.1
---------------
davfs2 (1.5.5-1ubuntu0.1) focal; urgency=medium
* Fix segmentation fault druing umount.davfs2. (LP: #1883025)
-- Hsieh-Tseng Shen <email address hidden> Thu, 18 Jun 2020 10:07:37 +0800