bug#63825: 29.0.90; The header line should be hidden when empty

[Eli Zaretskii]

> From: Eshel Yaron <me@eshelyaron.com>
> Cc: sbaugh@janestreet.com,  63825@debbugs.gnu.org
> Date: Sun, 04 Jun 2023 19:45:23 +0300
> 
> Alright.  Here's an updated patch:

Thanks, installed on the master branch, and closing the bug.

One nit: we don't leave whitespace between '*' and the identifier in
the likes of

   struct frame *f ...

(I fixed this for you this time.)