You are correct that Debian has not yet voted on whether or not to allow GFDLd works into its distribution. The consensus of debian-legal is that works under the GFDL does not meet the DFSG. I hope that the Debian developers will vote to include GFDL-covered manuals in Debian. Whatever Debian decides, some amount of cooperation ought to be possible between the GNU Project and Debian.