Stupidly I left the main lights on the car, and it ran the battery down to 7.5 volts. This wasn't enough voltage to start it, but after a boost, it started fine.
Ran the engine for a good while to top the battery back up.
My question is, would draining the battery down to 7.5 volts have caused...