Bug #1380
pdr_util, -o command line option
| Status: | Closed | Start date: | 10/21/2011 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | ||
| Assignee: |  kervala |
% Done: | 100% |
|
| Category: | Tools: General | |||
| Target version: | Version 0.9.0 |
Description
pdr_util has missing break; in switch block
pdr_util.diff
(403 Bytes)
History
#1
Updated by kervala over 3 years ago
- Status changed from New to Assigned
- Assignee set to kervala
Thanks for the patch, I will apply it :)
#2
Updated by kervala over 3 years ago
- Status changed from Assigned to Resolved
- % Done changed from 0 to 100
Applied in changeset commit:261c4a25be10.
#3
Updated by kervala over 3 years ago
- Target version set to Version 0.9.0
#4
Updated by sfb over 3 years ago
- Status changed from Resolved to Closed