diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-05-24 09:57:40 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-24 09:57:40 -0400 |
| commit | bf4d69edcc8e3928ba7765f85b7a53b96c58d6c5 (patch) | |
| tree | 40a936078d75d4c6affa7e3dba17cb0e06f841c9 /.github/workflows | |
| parent | 8a5e37f32f772a320fd5f6aa86cc5c9c4d01f7cf (diff) | |
| parent | 40ba457f6436b7eb2c60e8824e1591526945df2a (diff) | |
Merge pull request #1394 from adinapoli/wip/adinapoli-align-ps-messages
Align Haddock to use the new Parser diagnostics interface
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions