Project

General

Profile

Actions

Idea #21457

closed

Review, merge GitHub PR #224

Added by Brett Smith 10 months ago. Updated 7 months ago.

Status:
Resolved
Priority:
Normal
Assigned To:
Category:
-
Start date:
Due date:
Story points:
-
Release relationship:
Auto

Actions #1

Updated by Brett Smith 10 months ago

  • Description updated (diff)
  • Subject changed from Review, merge GitHub PRs #223, #224 to Review, merge GitHub PR #224
Actions #2

Updated by Brett Smith 10 months ago

Tested at developer-run-tests: #4026 . I was testing #21432 and this at the same time in one branch. The failing test is a new test for #21432, so this one is clear and merged.

Actions #3

Updated by Brett Smith 10 months ago

  • % Done changed from 0 to 100
  • Status changed from In Progress to Resolved
Actions #4

Updated by Peter Amstutz 7 months ago

  • Release set to 69
Actions

Also available in: Atom PDF