desktop: fixed bug where menu's Rename Device option got incorrectly disabled
[barry.git] / debian / compat
blob7f8f011eb73d6043d2e6db9d2c101195ae2801f2