File _patchinfo of Package patchinfo.31763

<patchinfo incident="31763">
  <issue tracker="jsc" id="PED-6499"/>
  <issue tracker="jsc" id="PED-7233"/>
  <packager>gkenion</packager>
  <rating>moderate</rating>
  <category>feature</category>
  <summary>Feature update for jetbrains-annotations, saxon10</summary>
  <description>This update for jetbrains-annotations, saxon10 fixes the following issues:

saxon10:

- Initial package implementation at version 23.0.0 (jsc#PED-6499, jsc#PED-7233)

jetbrains-annotations:

- Initial package implementation of jetbrains-annotations at version 15.0 (jsc#PED-6499, jsc#PED-7233)

jline:

- New package included as dependency that is needed by saxon10-scripts (jsc#PED-6499, jsc#PED-7233)
</description>
</patchinfo>