make upgrade: Take back destroy_dev(9), it still exists.
authorSascha Wildner <saw@online.de>
Sun, 13 Sep 2009 22:00:27 +0000 (00:00 +0200)
committerSascha Wildner <saw@online.de>
Sun, 13 Sep 2009 22:31:56 +0000 (00:31 +0200)
commit5095493af68681c66e1d046a50b27d8aba4cc051
treefedd34908644ff4d7314c9ab0865ce00eac8beb7
parent3d62c9e33361b5901e858332066162cc93afc27b
make upgrade: Take back destroy_dev(9), it still exists.
Makefile_upgrade.inc