On Fri, Aug 09, 2024 at 01:36:43PM -0600, Todd C. Miller wrote:
> On Fri, 09 Aug 2024 21:33:03 +0200, Walter Alejandro Iglesias wrote:
> 
> > I don't understand how that github crap works (nor why so many people
> > use it.)  I opened an account exclusively to report this bug, the link
> > is the one I posted in misc@ time ago (as I mention in my previous
> > message):
> >
> >   https://github.com/mpv-player/mpv/issues/14355
> >
> > As I explained before, when you try to access to this link without being
> > logged in github, the site returns a 404 error[1].
> 
> Yes, I saw that, but even when logged in to github I can't see that
> issue.

The funny thing is that tired of struggling with the Github interface,
in my same report I had the following dialog:

  Me: "Guys, wouldn't it be easier to use a mailing list?"

  Some moron: "For some, sure, but for many it would become much less
  accessible."


> Feel free to reference the PR I filed in your bug, though.

I'll now send a message with your PR link to the developer who wrote the
diff (nicknamed @N-R-K).  If he gets it! :-)


Thanks!

> 
>  - todd
> 

-- 
Walter