From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <929decd558ad972b594d038cbb2ecf1b@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Tue, 30 Apr 2013 15:16:23 +0100
In-Reply-To: <2028a6cff8dc7012a04ec62fa0635ae6@mpx2.rz.ruhr-uni-bochum.de>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] German USB keyboard on Raspberry Pi
Topicbox-Message-UUID: 4cf482f6-ead8-11e9-9d60-3106f5b1d025

>> I think you did.  /sys/src/9/bcm/random.c should have been deleted.
>
> Should this have happened when I invoked 'pull'? Or is there a
> separate update mechanism?

Yes, it should have been deleted by the first 'pull' after 1 April:

term% grep sys/src/9/bcm/random.c /dist/replica/client/plan9.log
1364809803 16381 d sys/src/9/bcm/random.c - 664 sys sys 1342801416 0
term% date 1364809803
Mon Apr  1 10:50:03 BST 2013