Re: [PR tui/13073] unnamed or unavailable registers

Tom Tromey
2011-08-12T17:28:36Z

>>>>> "Pedro" == Pedro Alves <pedro@codesourcery.com> writes:

Pedro> BTW, can we add a "7.3" Version to bugzilla please? Tom?

I added it.

Tom