New Clutch Cable

The heatwave we are currently having played havoc with my clutch.  Once the car got really hot I found there was a 'notch' when the pedal was about 1" off the floor and I had to push hard to get it past to change gear.   Decided the first thing to try was to swap cables with my spare.   So I did that and the clutch movement, while still heavy, was much smoother.   I was going to keep the old one as a spare, but it had effectively seized so was just junk.   Luckily 1984 Fiat Ducato clutch cables are still available on E-Bay so I bought another one for the spare.