CVS jdg: * Plug-ins != shared libraries (at last) closes: Bug#66023

[debian-policy]

CVSROOT:        /cvs/debian-policy
Module name:    debian-policy
Changes by:     jdg     Thu May 24 04:44:11 PDT 2001

Modified files:
        .              : policy.sgml upgrading-checklist.html 
        debian         : changelog 

Log message:
* Plug-ins != shared libraries (at last)           closes: Bug#66023
* Finished cleanup of chapter 13 --> all done!