| commit | ef0f16ccf8c3f09a3e986329c1428789ef17f17f | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Tue Sep 19 20:34:23 2023 -0600 |
| committer | Tom Tromey <tom@tromey.com> | Wed Sep 20 11:45:16 2023 -0600 |
| tree | eeec07619180cc7c3ad56e555fdf914d9b863595 | |
| parent | 0b7de6d3ee07653e97e65a2968742c93b7102f62 [diff] |
Remove explanatory comments from includes I noticed a comment by an include and remembered that I think these don't really provide much value -- sometimes they are just editorial, and sometimes they are obsolete. I think it's better to just remove them. Tested by rebuilding. Approved-By: Andrew Burgess <aburgess@redhat.com>