On 18-02-2020 16:29, Tom Tromey wrote:
>>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:
> 
> Tom> +proc ignore_pass { msg } {
> Tom> +    verbose -log "gdb_do_cache_wrap ignoring pass: $msg"
> Tom> +}
> Tom> +
> Tom> +proc gdb_do_cache_wrap {real_name} {
> Tom> +    if { [info procs save_pass] != "" } {
> 
> I think the new procs should have introductory comments, but other than
> that, this seems fine to me.

Done, and committed as below.

Thanks,
- Tom