#397: Rename invocation.toolExecutionSuccessful to executionSuccessful
sarif · April 2019 · 1 message · back to month
| # | Subject | From | Date |
|---|---|---|---|
| 00103 | #397: Rename invocation.toolExecutionSuccessful to executionSuccessful | Laurence Golding | 2019-04-26 14:35 |
sarif · April 2019 · 1 message · back to month
| # | Subject | From | Date |
|---|---|---|---|
| 00103 | #397: Rename invocation.toolExecutionSuccessful to executionSuccessful | Laurence Golding | 2019-04-26 14:35 |