Modify ↓
Ticket #1572 (closed defect: fixed)
Backport changes in r15370 to maintenance branch
| Reported by: | juruen@… | Owned by: | juruen@… |
|---|---|---|---|
| Milestone: | 1.2.10-maint | Component: | base |
| Severity: | normal | Keywords: | |
| Cc: |
Attachments
Change History
Note: See
TracTickets for help on using
tickets.
(In [15371]) NN: backport fix from r15370. Closes #1572