File _patchinfo of Package patchinfo.8195

<patchinfo incident="8195">
  <issue tracker="bnc" id="1100206">dejagnu fails to reliably kill timeouted processes</issue>
  <category>recommended</category>
  <rating>moderate</rating>
  <packager>Andreas_Schwab</packager>
  <description>This update for dejagnu fixes the following issues:

- Use separate kill command for each pid (bsc#1100206)
- Install LICENSE file in the correct directory.
</description>
  <summary>Recommended update for dejagnu</summary>
</patchinfo>