It must have been spread out, here is the days leading up:
Jun 25, 2015 4.90 4.99 4.73 4.84 263,700 4.84
Jun 24, 2015 5.18 5.18 4.81 4.83 354,400 4.83
Jun 23, 2015 5.10 5.29 4.81 5.07 337,400 5.07
Jun 22, 2015 5.00 5.46 5.00 5.17 728,100 5.17
Jun 19, 2015 4.50 5.22 4.41 4.94 872,900 4.94