Processing control commands: > tags -1 moreinfo Bug #828018 [minetest-server] minetest-server is not shutdown properly Added tag(s) moreinfo. -- 828018: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828018 Debian Bug Tracking System Contact owner at bugs.debian.org with problems