Bug#890665: Bug #890665

[gpe]

Le mercredi 07 mars 2018 à 21:11 +0100, gpe a écrit :
> Le mardi 06 mars 2018 à 11:07 +0200, Jonathan Carter (highvoltage) a écrit :
> > Hi
> > 
> > Does this still happen on your system?
> > 
> > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890665
> > 
> > I just enabled it on my unstable system and it seems to load both the
> > extension and it's settings manager just fine. Will try it on a clean
> > unstable system next.
> > 
> > -Jonathan
> 
> Hi,
> 
> It's ok now but I don't know if it is due to a debian correction or if it is
> related to an update of the extension. How can I see the version of an
> extension?
> 
> Regards.


I found the version. My extension is the version 34. So it is not the debian
one. So I don't know if the debian version (which is 33) works or not.

Regards.

Bug#890665: Bug #890665

[gpe]

Le mardi 06 mars 2018 à 11:07 +0200, Jonathan Carter (highvoltage) a écrit :
> Hi
> 
> Does this still happen on your system?
> 
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890665
> 
> I just enabled it on my unstable system and it seems to load both the
> extension and it's settings manager just fine. Will try it on a clean
> unstable system next.
> 
> -Jonathan

Hi,

It's ok now but I don't know if it is due to a debian correction or if it is
related to an update of the extension. How can I see the version of an
extension?

Regards.

Bug#890665: Bug #890665

[Jonathan Carter (highvoltage)]

Hi

Does this still happen on your system?

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890665

I just enabled it on my unstable system and it seems to load both the
extension and it's settings manager just fine. Will try it on a clean
unstable system next.

-Jonathan