On 02/16/2014 03:38 PM, Thomas Schwinge wrote: > The gnu_read_inferior and gnu_write_inferior copy_count type change notes > belong to your other patch; with that changed, please push this patch. Thomas, patch is pushed. -- Yao (é½å°§)