v9.0.1233
3d79f0a4 · patch 9.0.1233: search() loops forever if "skip" is TRUE for all matches ·