Re: [PATCH] gdb: Move value_from_host_double into value.c and make more use of it

Tom Tromey
2019-03-07T15:49:06Z

>>>>> "Andrew" == Andrew Burgess <andrew.burgess@embecosm.com> writes:

Andrew> Something like this?

Yes, thank you.

Tom