>> 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
