If the pedal details are pretty much the same as a 1972 car, pretty easy to get things apart and replace the broken spring.
It does depend on the mechanism, but the pedal return spring potentially ensures there is no pressure on the release mechanism. So the bearing and release fingers could get a bit of wear; or not.
So I'd replace the spring, but it may not be a urgent job.
