Milano/75 Clutch pedal question

[jonathan coates <alfa@domain.elided>]

Today I had the very slight misfortune to lose the clevis pin out of the
clutch pedal to pushrod joint on my way to work. It was slight as when I
thought that I was in for a crawl underneath in the snow I found 1) I
couldnt see under the car, and 2) as I went to get back in there was a
clevis pin on the floor.
I got the pin in easily but now, sat in the warm with a glass of red
wine, I need to know the dimensions of the split pin which should hold
the clevis pin in place. Being an idle sort, I thought I would ask the
Digest, in it's infinite wisdom, what size split pin do I need to buy on
Monday?
Please dont go measure the one on yours, I could do that, but if you had
to buy one yourself and can remember the size, I would be gratefull.
- -- 
jonathan coates
75 Twinspark

------------------------------