Skip to content

Pulling changes into fork

Jeremy Soller requested to merge derrg:master into master

Created by: derrg

Problem: [describe the problem you try to solve with this PR.]

Solution: [describe carefully what you change by this PR.]

Changes introduced by this pull request:

  • [...]
  • [...]
  • [...]

Drawbacks: [if any, describe the drawbacks of this pull request.]

TODOs: [what is not done yet.]

Fixes: [what issues this fixes.]

State: [the state of this PR, e.g. WIP, ready, etc.]

Blocking/related: [issues or PRs blocking or being related to this issue.]

Other: [optional: for other relevant information that should be known or cannot be described in the other fields.]

The above template is not necessary for smaller PRs.

Merge request reports