From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Eli Zaretskii" <eliz@is.elta.co.il>
To: ac131313@cygnus.com
Cc: gdb-patches@sources.redhat.com
Subject: Re: [patch] Add col_name to ui_out_table_header()
Date: Fri, 22 Jun 2001 01:35:00 -0000
Message-id: <5567-Fri22Jun2001113402+0300-eliz@is.elta.co.il>
References: <3B3214A8.1080906@cygnus.com>
X-SW-Source: 2001-06/msg00377.html

> Date: Thu, 21 Jun 2001 11:37:12 -0400
> From: Andrew Cagney <ac131313@cygnus.com>
> 
> This patch adds a ``col_name'' argument to the ui_out_table_header() 
> call.

This needs to be accompanied by a suitable change to gdbint.texinfo,
since ui_out_table_header is documented there.