File _patchinfo of Package patchinfo.8712

<patchinfo incident="8712">
  <issue tracker="bnc" id="1102080">vncmanager-controller's gnome-shell extension fails to load</issue>
  <category>recommended</category>
  <rating>moderate</rating>
  <packager>michalsrb</packager>
  <description>This update for vncmanager-controller fixes the following issues:

- Fixes loading of the gnome shell extensions (bsc#1102080)

This update was imported from the SUSE:SLE-15:Update update project.</description>
  <summary>Recommended update for vncmanager-controller</summary>
</patchinfo>