File _patchinfo of Package patchinfo.3925

<patchinfo incident="3925">
  <category>recommended</category>
  <rating>moderate</rating>
  <packager>rudi_m</packager>
  <summary>Recommended update for procps</summary>
  <description>This recommended update for procps fixes the following issue:

- fix, top(1) randomly hides processes (boo#938207)</description>
  <issue tracker="bnc" id="938207">top(1) randomly hides processes</issue>
</patchinfo>