diff options
| author | Clément Pit-Claudel | 2020-12-11 09:07:45 -0500 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-12-11 09:07:45 -0500 |
| commit | edc599b876949b8a093446cebd7fd3964f9a7c3f (patch) | |
| tree | 3fcb0d3b307e63c1e347ba507f36cea8739e5d36 /test-suite | |
| parent | 6ce1c1d1b661a6cbb4a415f9f7960b2ff53b32c5 (diff) | |
| parent | 9cb6d07623fa4404069f2ba8fac3badf82291cc1 (diff) | |
Merge PR #13612: Bump reference to 8.12 refman following unexpected 8.12.2 release.
Reviewed-by: cpitclaudel
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions