Arduino mini IO7?

Hi!
What is the function of the IO7 pin on the Arduino mini, I didn't find info on it? (located at the top left; see image http://www.arduino.cc/en/uploads/Guide/arduino_mini_pinout.png )

Thanks

It's the same as digital pin 7. I think we included it because it's used to reset the bluetooth module on the BT board, so it could be handy if we ever made a bluetooth module to go with the mini.