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
