Processed: bug 1008725 is forwarded to https://github.com/systemd/systemd/issues/23580

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forwarded 1008725 https://github.com/systemd/systemd/issues/23580
Bug #1008725 [systemd] systemd-logind option KillUserProcesses=true kills mount.davfs of user mount units
Set Bug forwarded-to-address to 'https://github.com/systemd/systemd/issues/23580'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1008725: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1008725
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems