> ... in my
> opinion a better name for this library would be libbuddy .... As a first 
> step, would you
> consider renaming the library object itself as libbuddy and to leave the
> package as it is until I finish to package libcudd (plus a sym link to
> for backward compatibility) ? What you think ?

Fine with me, but I am a bit busy so not sure it will be this weekend.

Cheers,
-- 
                                                    Jens Peter Secher.
_DD6A 05B0 174E BFB2 D4D9 B52E 0EE5 978A FE63 E8A1 jpsecher gmail com_.
A. Because it breaks the logical sequence of discussion.
Q. Why is top posting bad?



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to