Commit 93f802eb07fb1dc714bbd06659e89f3e6f6f7ff2

Richard Stallman 1996-06-26T18:00:52

(re_max_failures): Reduce to 4000.