[Merge] lp:~azzar1/update-manager/fix-lp-1807900 into lp:update-manager

[Andrea Azzarone]

Andrea Azzarone has proposed merging lp:~azzar1/update-manager/fix-lp-1807900 into lp:update-manager.

Commit message:
Check if software-properties-livepatch.desktop is available to show (or not to show) the Livepatch settings button.

Requested reviews:
  Ubuntu Core Development Team (ubuntu-core-dev)
Related bugs:
  Bug #1807900 in update-manager (Ubuntu): "update-manager suggests to use Livepatch, which is not available"
  https://bugs.launchpad.net/ubuntu/+source/update-manager/+bug/1807900

For more details, see:
https://code.launchpad.net/~azzar1/update-manager/fix-lp-1807900/+merge/366051
-- 
Your team Ubuntu Core Development Team is requested to review the proposed merge of lp:~azzar1/update-manager/fix-lp-1807900 into lp:update-manager.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: review-diff.txt
Type: text/x-diff
Size: 3292 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-reviews/attachments/20190415/775a8211/attachment.diff>