Processed: retitle mozjs38 ITP to mozjs52

To: Jeremy Bicha <jbicha@ubuntu.com>
Cc: wnpp@debian.org, jbicha@ubuntu.com
Subject: Processed: retitle mozjs38 ITP to mozjs52
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 05 Aug 2017 01:39:03 +0000
Message-id: <[🔎] handler.s.B860396.15018969741069.transcript@bugs.debian.org>
References: <[🔎] CAAajCMbWZPhAChgN9RynBSq=y_izfuUJqe84PW_VRU0rgN970w@mail.gmail.com> <CAAajCMbvpu7KOrrvU=kzBmbk8RhkzWR1E9jmd7ap-+38z04NuA@mail.gmail.com>

Processing control commands:

> retitle -1 ITP: mozjs52 -- SpiderMonkey JavaScript library
Bug #860396 [wnpp] ITP: mozjs38 -- SpiderMonkey JavaScript library
Changed Bug title to 'ITP: mozjs52 -- SpiderMonkey JavaScript library' from 'ITP: mozjs38 -- SpiderMonkey JavaScript library'.

-- 
860396: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860396
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#860396: retitle mozjs38 ITP to mozjs52
  - From: Jeremy Bicha <jbicha@ubuntu.com>

Prev by Date: Bug#860396: retitle mozjs38 ITP to mozjs52
Next by Date: Bug#860357: marked as done (ITP: libjs-jquery-datetimepicker -- jQuery plugin providing a date and time picker)
Previous by thread: Bug#860396: retitle mozjs38 ITP to mozjs52
Next by thread: Bug#860396: retitle mozjs38 ITP to mozjs52
Index(es):
- Date
- Thread