Nicholas Nethercote
2e40d11f8c
Remove -Zkeep-hygiene-data.
...
It was added way back in #28585 under the name `-Zkeep-mtwt-tables`. The
justification was:
> This is so that the resolution results can be used after analysis,
> potentially for tool support.
There are no uses of significance in the code base, and various Google
searches for both option names (and variants) found nothing of interest.
@petrochenkov says removing this part (and it's only part) of the
hygiene data is dubious. It doesn't seem that big, so let's just keep it
around.
2023-11-10 14:00:08 +11:00
..
2023-10-30 08:46:02 +11:00
2023-11-05 21:51:47 +03:30
2023-10-30 08:46:02 +11:00
2023-11-04 21:11:03 +01:00
2023-11-10 14:00:08 +11:00
2023-10-31 08:01:02 +11:00
2023-11-08 14:39:59 +11:00
2023-10-31 10:42:24 +00:00
2023-10-30 08:46:02 +11:00
2023-11-08 16:13:37 +00:00
2023-11-04 14:04:01 -07:00
2023-11-04 08:50:46 +11:00
2023-11-02 21:03:27 +01:00
2023-11-06 09:44:00 +01:00
2023-11-07 19:29:56 +01:00
2023-11-08 20:42:32 +00:00
2023-11-06 07:41:22 +00:00
2023-10-30 08:46:02 +11:00
2023-11-05 16:29:15 +00:00
2023-11-05 13:44:59 +00:00
2023-10-30 08:46:02 +11:00
2023-11-08 08:57:57 +11:00
2023-11-02 19:35:04 +11:00
2023-11-05 13:44:59 +00:00
2023-10-30 08:46:02 +11:00
2023-10-30 08:46:02 +11:00
2023-10-30 08:46:02 +11:00
2023-11-06 16:23:09 +00:00
2023-11-08 02:35:25 +00:00
2023-11-04 19:48:44 +01:00
2023-11-08 00:47:52 +01:00
2023-11-04 20:16:03 +00:00
2023-10-30 08:46:02 +11:00
2023-11-04 22:15:22 +08:00
2023-11-10 14:00:08 +11:00
2023-10-30 08:46:02 +11:00
2023-11-04 08:50:46 +11:00
2023-11-08 20:42:32 +00:00
2023-11-07 16:40:35 +01:00
2023-10-30 08:46:02 +11:00
2023-11-04 16:44:42 +00:00
2023-11-07 19:29:56 +01:00
2023-11-08 00:47:51 +01:00
2023-11-08 20:42:32 +00:00
2023-10-30 08:46:02 +11:00
2023-11-07 18:45:11 -05:00
2023-11-02 19:35:00 +11:00
2023-11-08 17:14:36 +01:00
2023-10-30 08:46:02 +11:00
2023-11-04 08:50:46 +11:00
2023-10-30 08:46:02 +11:00
2023-10-30 08:46:02 +11:00
2023-10-30 08:46:02 +11:00
2023-11-08 08:57:57 +11:00
2023-10-30 08:46:02 +11:00
2023-11-10 14:00:08 +11:00
2023-11-01 14:17:56 +00:00
2023-11-10 14:00:08 +11:00
2023-10-30 08:46:02 +11:00
2023-11-08 14:37:54 +08:00
2023-11-08 00:47:50 +01:00
2023-11-03 14:57:40 +00:00
2023-10-30 08:46:02 +11:00
2023-11-02 18:16:37 +01:00
2023-11-06 10:10:52 +00:00
2023-11-01 14:17:56 +00:00