diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-02-07 23:17:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-07 23:17:58 +0100 |
commit | fd01b8fc1e3e1fdab71a6a9c851bd45bd1f49b85 (patch) | |
tree | 66cb2195dc6afcd054470b5cdd8c48ed5b1d4043 /doc/manual/src/installation | |
parent | 1ba13b17db1d2ff4342b41cbd610b76060582335 (diff) | |
parent | 0a82d2ca491507f727d44a96f07d48934862da1b (diff) |
Merge pull request #7780 from edolstra/pr-template
PR template: Ask release notes for incompatible changes, not bug fixes
Diffstat (limited to 'doc/manual/src/installation')
0 files changed, 0 insertions, 0 deletions