Record patch in main GDB tree?

[Michael Snyder]

On Mon, 2008-04-07 at 20:32 +0200, jonatan perry wrote:
> Hi list :)
> I was wonder - why does the *record patch isn't merged to the main GDB
> development tree?
> 
> *http://sourceforge.net/projects/record/
> 
> Thanks,
> Jonatan Perry.

First I recall hearing of it.

Has anybody offered to submit it to gdb?