Re: texinfo-5.0 available

[Karl Berry]

    +static void pc_initialize_terminal (char *);

     static void
     w32_info_init (void)
     {
    -  static void pc_initialize_terminal (char *);

Applied, thanks.