Bug#1042532: mediawiki: Vendoring a few javascript library without source

severity 1042532 normal tags 1042532 wontfix thanks Hi, On 7/31/23 07:23, roucaries bastien wrote: hi, Le lun. 31 juil. 2023 à 08:27, Kunal Mehta a écrit : These are in the preferred form for modification so I don't think there's any issue here, but please correct me if I'm wrong. MediaWiki

Processed: Re: Bug#1042532: mediawiki: Vendoring a few javascript library without source

Processing commands for cont...@bugs.debian.org: > severity 1042532 normal Bug #1042532 [src:mediawiki] mediawiki: Vendoring a few javascript library without source Severity set to 'normal' from 'serious' > tags 1042532 wontfix Bug #1042532 [src:mediawiki] mediawiki: Vendoring a few java

Bug#1042532: mediawiki: Vendoring a few javascript library without source

hi, Le lun. 31 juil. 2023 à 08:27, Kunal Mehta a écrit : > > Hi, > > On 7/29/23 16:44, Bastien Roucariès wrote: > > Dear Maintainer, > > > > resources/lib/ > > (https://sources.debian.org/src/mediawiki/1:1.39.4-2/resources/lib/) > > > > include a few library already packaged for debian. > > > >

Bug#1042532: mediawiki: Vendoring a few javascript library without source

Hi, On 7/29/23 16:44, Bastien Roucariès wrote: Dear Maintainer, resources/lib/ (https://sources.debian.org/src/mediawiki/1:1.39.4-2/resources/lib/) include a few library already packaged for debian. Moreover some source are missing (I have only checked pako). These are in the preferred

Bug#1042532: mediawiki: Vendoring a few javascript library without source

Source: mediawiki Version: 1:1.39.4-2 Severity: serious Justification: missing source Dear Maintainer, resources/lib/ (https://sources.debian.org/src/mediawiki/1:1.39.4-2/resources/lib/) include a few library already packaged for debian. Moreover some source are missing (I have only checked