<patchinfo incident="114">
  <!-- generated from request(s) 353934 -->
  <packager>jfkw</packager>
  <rating>moderate</rating>
  <category>recommended</category>
  <summary>Recommended update for vexctl</summary>
  <description>This update for vexctl fixes the following issues:

- Update to version 0.3.0:
</description>
  <package>vexctl</package>
  <seperate_build_arch/>
</patchinfo>