svn commit: r435349 - in head: astro/gmapcatcher audio/last-cmus audio/logitechmediaserver-superdatetime audio/mehdiaplayer audio/pidgin-musictracker audio/xpi-musicpm biology/treeviewx chinese/fci...

[Alexey Dokuchaev]

On Fri, Mar 03, 2017 at 06:09:29PM +0100, Mathieu Arnold wrote:
> They may have had the distfile lying around, but they would have needed
> to manually do something to be able to build the port, either remove the
> BROKEN line, or set TRYBROKEN, or NO_IGNORE.

That's what I *likely* would've done (if I didn't have commit bit): fix the
port in the fastest way possible *for myself*, and move on.  Removing one
single line from the Makefile is much easier than fixing the port for real
and filing a PR (or forking it at GitHub and sending a pull request, LOL).

> The ports are not obliterated from this universe, they have been marked
> BROKEN for six months, if anyone is interested in some of them, it is
> always possible to resurrect them.

While that's true, it takes some effort to actually find the removed port
and properly resurrect it.  But then again: it's becoming ridiculous, I'm
obviously losing this argument here so why don't we just all move along...

Peace,

./danfe