Processed: Re: Bug#805817: Should instanbul be removed?

2015-11-23 Thread Debian Bug Tracking System 
Processing commands for cont...@bugs.debian.org:

> reassign 805817 ftp.debian.org
Bug #805817 [istanbul] Should instanbul be removed?
Bug reassigned from package 'istanbul' to 'ftp.debian.org'.
No longer marked as found in versions istanbul/0.2.2-10.1.
Ignoring request to alter fixed versions of bug #805817 to the same values 
previously set
> retitle 805817 RM: instanbul - dead upstream, depends on gstreamer 0.10
Bug #805817 [ftp.debian.org] Should instanbul be removed?
Changed Bug title to 'RM: instanbul - dead upstream, depends on gstreamer 0.10' 
from 'Should instanbul be removed?'
> thanks
Stopping processing here.

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

Bug#805817: Should instanbul be removed?

2015-11-23 Thread Moritz Muehlenhoff 
reassign 805817 ftp.debian.org
retitle 805817 RM: instanbul - dead upstream, depends on gstreamer 0.10
thanks

On Sun, Nov 22, 2015 at 10:11:09PM +0100, Luca Bruno wrote:
> On Sunday 22 November 2015 20:30:14 Moritz Muehlenhoff wrote:
> 
> > should instanbul be removed?
> 
> Yes, I think so.
> I'll proceed asking for its removal.

Thanks. Let's just reassign this bug.

Cheers,
Moritz

Bug#805817: Should instanbul be removed?

2015-11-22 Thread Moritz Muehlenhoff 
Package: istanbul
Severity: serious

Hi,
should instanbul be removed?

- It's dead upstream (last release in 2007, last code change in git
  (some i18n work later on) in 2010
- It depends on gstreamer 0.10, which is scheduled for removal
- Alternatives exist

Cheers,
Moritz

Bug#805817: Should instanbul be removed?

2015-11-22 Thread Luca Bruno 
On Sunday 22 November 2015 20:30:14 Moritz Muehlenhoff wrote:

> should instanbul be removed?

Yes, I think so.
I'll proceed asking for its removal.

> - Alternatives exist

For documentation purposes:
Last time I tried, both byzanz and recordmydesktop worked fine as alternatives 
in GTK world. Gnome now should also come with integrated screen recording, but 
I never tried it.

Cheers, Luca

-- 
 .''`.  ** Debian GNU/Linux **  | Luca Bruno (kaeso)
: :'  :   The Universal O.S.| lucab (AT) debian.org
`. `'`  | GPG: 0xBB1A3A854F3BBEBF
  `- http://www.debian.org  | Debian GNU/Linux Developer


signature.asc
Description: This is a digitally signed message part.