Skip to content
  • Past due by 23 days Last updated 9 days ago

    PRs that ought to be integrated before the 4.13.0 release, and bugs that needs to be fixed.

    100% complete
  • No due date Last updated 3 months ago

    This milestone is for PRs that will not be merged in the foreseeable future.