You signed in with another tab or window.Reload to refresh your session.You signed out in another tab or window.Reload to refresh your session.You switched accounts on another tab or window.Reload to refresh your session.Dismiss alert
The code that tried to split a page at 75/25 ratio, when appending to theend of an index, was buggy in two ways. First, there was a silly typo thatcaused it to just fill the left page as full as possible. But the logic asit was intended wasn't correct either, and would actually have given a ratiocloser to 60/40 than 75/25.Gaetano Mendola spotted the typo. Backpatch to 9.4, where this code was added.