Bug#796573: pu: package cross-gcc/14

2015-08-26 Thread Adam D. Barratt
Control: tags -1 + pending On Sun, 2015-08-23 at 00:59 +0100, Wookey wrote: > +++ Adam D. Barratt [2015-08-22 22:51 +0100]: > > Control: tags -1 + jessie confirmed > > > > On Sat, 2015-08-22 at 18:17 +0100, Wookey wrote: > > > cross-gcc-dev in stable has a serious bug: (780583) which means that >

Bug#796573: pu: package cross-gcc/14

2015-08-22 Thread Wookey
+++ Adam D. Barratt [2015-08-22 22:51 +0100]: > Control: tags -1 + jessie confirmed > > On Sat, 2015-08-22 at 18:17 +0100, Wookey wrote: > > cross-gcc-dev in stable has a serious bug: (780583) which means that > > if your default shell is not bash (or zsh) it simply won't work. As > > Debian defau

Bug#796573: pu: package cross-gcc/14

2015-08-22 Thread Adam D. Barratt
Control: tags -1 + jessie confirmed On Sat, 2015-08-22 at 18:17 +0100, Wookey wrote: > cross-gcc-dev in stable has a serious bug: (780583) which means that > if your default shell is not bash (or zsh) it simply won't work. As > Debian defaults to dash for sh this a real problem making the package

Bug#796573: pu: package cross-gcc/14

2015-08-22 Thread Wookey
Package: release.debian.org Severity: normal User: release.debian@packages.debian.org Usertags: pu cross-gcc-dev in stable has a serious bug: (780583) which means that if your default shell is not bash (or zsh) it simply won't work. As Debian defaults to dash for sh this a real problem making