Processed: Re: RM: mozjs102 -- RoM; superseded by mozjs115

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 1073212 serious
Bug #1073212 [src:mozjs102] RM: mozjs102 -- RoM; superseded by mozjs115
Severity set to 'serious' from 'normal'
> forwarded 1073212 https://bugs.debian.org/1081051
Bug #1073212 [src:mozjs102] RM: mozjs102 -- RoM; superseded by mozjs115
Set Bug forwarded-to-address to 'https://bugs.debian.org/1081051'.
>
End of message, stopping processing here.

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