reassign 392146 tetex-bin found 392146 3.0-20 close 392146 3.0-21 merge 392146 392105 thanks This bug should already be fixed by Frank's upload of tetex-bin. -- Florent