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.