The Debian developers have decided to release the upcoming Debian 5 (Lenny) with proprietary firmware files to expedite the completion of the Linux distributions next release. The vote itself had several options for dealing with proprietary firmware, from a complete elimination of it, even if it meant more delays for Lenny, to an explicit waiver of the source code requirement for firmware files. The winning option was "assume blobs comply with the GPL unless proven otherwise", a principle which declares proprietary firmware as undesirable, but allows for the earlier release of Debian 5 to take priority over the removal of questionable firmware.