Processed: This was reported upstream

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tag 733974 upstream
Bug #733974 [minetest] Crash when browsing "Public Serverlist"
Added tag(s) upstream.
> forwarded 733974 https://github.com/minetest/minetest/issues/1147
Bug #733974 [minetest] Crash when browsing "Public Serverlist"
Set Bug forwarded-to-address to 'https://github.com/minetest/minetest/issues/1147'.
> thanks
Stopping processing here.

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