File _patchinfo of Package patchinfo.4187

<patchinfo incident="4187">
  <category>recommended</category>
  <rating>moderate</rating>
  <packager>dimstar</packager>
  <summary>Recommended update for gnome-session</summary>
  <description>
This update for gnome-session fixes the following issue:

- Add DesktopNames, needed by SDDM to start GNOME (boo#931314)</description>
  <issue tracker="bnc" id="931314">SDDM cannot start Gnome</issue>
  <relogin_needed/>
</patchinfo>