From 67 to 72, the bore diameter was different between power and manual, but not in the way you'd think was logical.
The manual brakes had a larger bore, which made for more pedal effort (1-1/16 or 1-1/32", I forget which). The power brakes came with a smaller bore, making for less pedal effort (15/16").