[gnu-nat] PATCH (part of PR #2534) s/current_inferior/gnu_current_inf/g

[Alfred M. Szmidt]

   Sorry for the extra work Thomas.  :-(

I must have missed the PR 2534 patch, do patches submited through
bugzilla go to the mailing list?

   OK ?

OK, thank you very much Pedro for your work.