[Pkg-erlang-devel] Processed: Re: Bug#720415: erlang-base: ejabberd broken by R16B01 with bad_object_header error

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 720415 + upstream
Bug #720415 [erlang-base] erlang-base: ejabberd broken by R16B01 with bad_object_header error
Added tag(s) upstream.
> thanks
Stopping processing here.

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