| commit | 5af0c44375dc9c0a49d4b90c49d53580b025f001 | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Wed, 27 Jul 2022 12:20:51 +0000 (27 14:20 +0200) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 27 Jul 2022 12:20:51 +0000 (27 14:20 +0200) | ||
| tree | e6633d9bd477027e434fcc10f06ec82c328624d2 | treesnapshot (tar.gz zip) |
| parent | 0ac0feb10eaba23afccf73e6054bb9e3b921789c | commitdiff |
| parent | b3e3526a4caee048307ae9ba1520828470127ea7 | commitdiff |
Merge pull request #8327 from Mikolaj/fixup-3.8.1.0-relnote-headers
Fixup headers of 3.8.1.0 release notes
Fixup headers of 3.8.1.0 release notes