Clutch job disabled cruise control

[82abnbob]

My mechanic recently replaced the master and slave cylinders on my e34 clutch. Upon driving the car post-repair I discovered that the cruise control didn't work. What might they have disconnected or broken? Others may have experienced this result. Thanks for any helpful comments.

[demetk]

The white clutch pedal switch. If it's still in place and connected then it may need adjusting.