Processed: Re: Bug#828018: minetest-server is not shutdown properly

[Debian Bug Tracking System]

Processing control commands:

> forwarded -1 https://github.com/minetest/minetest/issues/4251
Bug #828018 [minetest-server] minetest-server is not shutdown properly
Set Bug forwarded-to-address to 'https://github.com/minetest/minetest/issues/4251'.

-- 
828018: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828018
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems