Bug#139934: can this be closed?

[Atsuhito Kohda <kohda@pm.tokushima-u.ac.jp>]

Hi, I found that tetex-src 1.0.2+20021025-1 included
bbold.dtx as one could see

~$ locate bbold.dtx
/usr/share/texmf/source/latex/bbold/bbold.dtx

But you mentioned that bbold is non-free so I am
not sure if I can close this or not.

Best regards,		     2002/11/19

-- 
 Debian Developer & Debian JP Developer - much more I18N of Debian
 Atsuhito Kohda <kohda@debian.org>
 Department of Math., Univ. of Tokushima