Re: gnumach/device/blkio.c (disksort) unused function

[Samuel Thibault]

Miguel Figueiredo, le Sat 25 May 2013 17:58:50 +0100, a écrit :
> 2013-05-25 Miguel Figueiredo <el...@debianpt.org>
> 
> * device/blkio.c (disksort): remove unused function

Applied, thanks.

Samuel