Thorsten Glaser writes ("Bug#614907: [Pkg-mediawiki-devel]
[Pkg-javascript-devel] Bug#680080: Invalidated by dependency: Excuse for
mediawiki-extensions"):
> On Tue, 10 Jul 2012, Thorsten Glaser wrote:
> > Ah. Luckily, that’s almost resolved.
>
> It has been resolved f
On Tue, 10 Jul 2012, Thorsten Glaser wrote:
> > Right now I am waiting for the judgement of the tech-ctte regarding
> > nodejs. See bug#614907.
>
> Ah. Luckily, that’s almost resolved.
It has been resolved for days now, would please someone
implement the solution? I can, as offered previously,
On 12-07-11 at 09:22am, Thorsten Glaser wrote:
> On Tue, 10 Jul 2012, Jonas Smedegaard wrote:
>
> > Because it performs worse, which makes it less used in general,
> > which makes it less tested, which makes it less trustworthy. I
> > thought that was already clarified at bug#679665. Does it m
On Tue, 10 Jul 2012, Jonas Smedegaard wrote:
> Because it performs worse, which makes it less used in general, which
> makes it less tested, which makes it less trustworthy. I thought that
> was already clarified at bug#679665. Does it make sense now?
Thanks, yes.
> It is helpful that you in
[keeping all recipients - don't blame me for the noise]
On 12-07-10 at 03:58pm, Thorsten Glaser wrote:
> On Tue, 10 Jul 2012, Jonas Smedegaard wrote:
> > I am concerned about switching compressor - see the discussion at
> > bug#679665.
>
> I see. (But yui was used before, right? Why the switch a
On Tue, 10 Jul 2012, Jonas Smedegaard wrote:
> Right now I am waiting for the judgement of the tech-ctte regarding
> nodejs. See bug#614907.
Ah. Luckily, that’s almost resolved.
> I am concerned about switching compressor - see the discussion at
> bug#679665.
I see. (But yui was used before,
Hi Thorsten,
On 12-07-10 at 01:46pm, Thorsten Glaser wrote:
> can *please* be something done about this, so we can ship a version of
> mediawiki-extensions that actually matches the version on mediawiki
> shipped in wheezy?
>
> What, exactly, needs to be done in/for json-js? Can I help? I’ve go
Hi,
can *please* be something done about this, so we can ship
a version of mediawiki-extensions that actually matches
the version on mediawiki shipped in wheezy?
What, exactly, needs to be done in/for json-js? Can I help?
I’ve got Super Co^W^WDebian Developer Upload Powers.
AFAICS, uglifyjs shou
8 matches
Mail list logo
