Re: Bug#46977: marked as done (gnumach: debian diff update)

[OKUJI Yoshinori]

From: [EMAIL PROTECTED] (Debian Bug Tracking System)
Subject: Bug#46977: marked as done (gnumach: debian diff update)
Date: 28 Apr 2000 22:19:10 -0000

> please update the Debian directory with the below diff, so we get back in
> sync a bit again.

  Why can't you update the directory yourself? IIRC, you have the
right to check in changes on debian to the CVS, so I think there is no
problem with doing so yourself.

Okuji