Skip to content

Fix issue introduced in 20886264

Tim Rühsen requested to merge tmp-res-prio into master

Fixes an issue discussed in !742 (merged)

Checklist

  • [*] Code modified for feature
  • [*] Test suite updated
  • [*] Documentation updated

Reviewer's checklist:

  • Any issues marked for closing are addressed
  • There is a test suite reasonably covering new functionality or modifications
  • Function naming, parameters, return values, types, etc., are consistent and according to CONTRIBUTION.md
  • This feature/change has adequate documentation added
  • No obvious mistakes in the code

Merge request reports