Hi Michael and Thiago,

most part of GDB record patch 0.1.3.1 is same with GDB record patch
0.1.3 (http://sourceware.org/ml/gdb-patches/2008-04/msg00300.html). I
just did some change according to your mail. I must express the
particularly grateful to you.

Thanks,
teawater