According to OPEC, Saudi Arabian production increased to 9.75mbd in July. This is a modern record (though they produced more back in the 1980-1981 timeframe). However, they didn't achieve the 10mbd that press reports were suggesting back in June. Whether because the press had the target wrong, or because they couldn't quite manage the goal, we are left to speculate.
The increase from May to July is about 800 or 900kbd - still some way short of making up for the loss of Libyan production.