Tux Kernel Bug

Ingo,

Any word on that kernel bug that Marek Habersack stumbled across?  Is
there a more proper procedure for reporting bugs?  Demo4.tux causes the
kernel to segfault on several different compilations when there is a
redirect to the backend.  It appears that something tries to close the
same file handle twice, thus causing the segfault.

He posted and there's been no response from anyone.  Is there still
active development on tux or is it only for simple edge-cache solutions
now?