Re: MinGW compilation errors due to strcasecmp

[Eli Zaretskii <eliz at gnu dot org>]

> Date: Mon, 31 Oct 2016 05:34:43 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: palves@redhat.com, gdb-patches@sourceware.org
> 
> > It was a minor build problem with the latest MinGW headers.  Do we
> > really need this in the list of PRs?  What would it say? include
> > correct headers to get prototypes of 2 obscure functions?
> 
> Yes, I think so. The purpose is to list the changes, and in particular
> the fixes that a minor release brings. In your case, all it needs
> to say is that it fixes a build issue on MinGW when using the latest
> MinGW headers.

Done.

> > In any case, can you please point me to the procedure that explains
> > what should be done in this case?  I just spent 15 minutes looking for
> > it on the wiki, but failed to find anything.  What did I miss?
> 
> You just need to go to the PR database on bugzilla:
>   - Create an account if not already done;
>   - Log in
>   - Create a PR:
>       * Subject (Eg): GDB 7.12 build failure with latest MinGW headers
>       * Body (Eg): Copy-paste the error you got
>   - Mark the PR as fixed in GDB 7.12.1:
>       * Change the target milestone to 7.12.1
>       * Change the status to fixed
>       * Add a URL to the gdb-patches discussions where the fix
>         was discussed and accepted

Could this be added to the wiki in some prominent place?  I need to do
this infrequently enough that I forget what needs to be done, and
looking through mail archives is no fun.  TIA.

(Btw, it seems like the wiki doesn't even have a link to bugzilla?)