On 03/28/2011 12:05 PM, Holger Levsen wrote:
> reassign 619820 dash,bash
> block 619820 by 540512
> thanks
> 
> On Sonntag, 27. März 2011, Jonathan Nieder wrote:
>> # which packages are essential affects the entire distribution
>> reassign 619820 general
> 
> For the distro we have solved^wdecided this by making dash the default shell. 

Well, by making dash the default *system* shell. bash is still the
default user shell.

Cheers

Luk


-- 
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4d90c0f3.6030...@debian.org

Reply via email to