Was 4% Of Google's Index Was Removed With The Indexing Bug?

I asked Google but I didn't hear back, so I then asked some of the tool providers - what percentage of the index was removed, dropped or de-indexed as of result of the issue from Thursday/Friday? Dr. Pete Meyers said he is researching it but he is seeing about a 4% change.