Fabian Boehm 7c91d009c1 reader: Remove assert in history search
This isn't a great use of `assert` because it turns a benign "oh I
need to search again" bug into a crash.

Fixes #9628
2023-03-02 16:29:49 +01:00
..
2023-02-28 16:42:12 -06:00
2023-02-09 00:37:22 +01:00
2023-02-02 19:34:48 -07:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2023-02-28 16:42:12 -06:00
2023-02-28 16:42:12 -06:00
2022-08-27 11:41:29 +02:00
2022-08-21 15:02:19 -07:00
2023-02-25 12:24:25 +01:00
2021-10-01 03:39:43 -07:00
2023-01-14 12:58:20 -08:00
2023-02-02 19:34:47 -07:00
2022-10-15 15:15:04 -05:00
2023-02-11 15:04:57 +01:00
2023-02-25 16:42:45 -06:00
2022-08-20 23:55:18 -07:00
2023-02-25 12:24:25 +01:00
2023-02-25 12:24:25 +01:00
2022-09-12 18:34:19 -07:00
2023-02-25 16:42:45 -06:00
2023-02-09 00:37:22 +01:00
2023-02-25 12:24:25 +01:00
2023-02-02 19:34:47 -07:00
2023-03-02 08:54:58 +01:00
2021-09-21 18:33:14 -07:00
2023-02-09 00:37:22 +01:00
2023-02-02 19:34:47 -07:00
2023-02-02 19:34:47 -07:00
2023-02-19 08:57:47 -08:00
2022-10-26 20:04:04 -07:00
2022-08-21 15:02:19 -07:00
2023-02-09 00:37:22 +01:00
2023-02-02 19:34:47 -07:00
2023-02-02 19:34:47 -07:00
2022-10-28 20:10:09 -07:00
2023-02-25 12:24:25 +01:00
2023-02-25 16:42:45 -06:00
2023-02-02 19:34:47 -07:00
2022-08-20 23:55:18 -07:00
2022-08-20 23:55:18 -07:00
2022-12-10 12:24:43 -08:00
2022-10-28 20:10:09 -07:00
2022-08-20 23:55:18 -07:00
2023-02-25 12:24:25 +01:00
2023-02-09 00:37:22 +01:00
2023-02-09 00:37:22 +01:00
2023-02-09 00:37:22 +01:00
2023-02-09 00:37:22 +01:00
2023-02-28 16:42:12 -06:00
2023-02-28 16:42:12 -06:00
2022-08-20 23:55:18 -07:00
2023-02-25 16:42:45 -06:00
2023-02-28 16:42:12 -06:00
2023-02-28 16:42:12 -06:00
2022-12-10 16:15:00 -08:00
2023-02-09 00:37:22 +01:00
2023-02-02 19:34:47 -07:00
2023-02-25 12:24:25 +01:00
2023-02-02 19:34:47 -07:00
2023-02-02 19:34:47 -07:00
2022-08-21 15:02:19 -07:00
2022-08-21 15:02:19 -07:00
2022-10-26 19:58:40 -07:00
2023-02-09 00:37:22 +01:00
2023-02-02 19:34:47 -07:00
2022-08-21 15:02:19 -07:00
2022-08-20 23:55:18 -07:00
2023-02-03 18:55:06 +01:00
2023-02-02 19:34:48 -07:00
2023-02-02 19:34:48 -07:00
2022-12-11 10:26:39 -08:00
2022-12-04 14:48:20 -08:00
2023-02-25 12:24:25 +01:00
2022-08-20 23:55:18 -07:00
2023-02-19 08:57:47 -08:00
2023-02-09 00:37:22 +01:00