stating that anything he wrote is now in the public
domain.
Question: what kind of document is available to do this?
Antonio replied:
I'm sure GNU have one that they ask you to sign
when you
turn over code to them.
No, they don't. The GNU license isn't public domain, and public
domain isn't the GNU license. I think the GNU license is a good
thing overall, and I think public domain is pretty good too, but
they aren't the same.
Tim.