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