diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2023-03-27 17:04:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-27 17:04:08 +0200 |
commit | 5e3f855526644382ea69a3c26b8b7cbe9561d2a9 (patch) | |
tree | 6d95d66fdba0ba5ff11e3b122bd41e5b9206c543 /doc/manual/src/release-notes/rl-1.5.md | |
parent | 237587bc0af9259414d50ed18f137c2214d7abb1 (diff) | |
parent | 256f3e306369131cb13756ed94606d47c343103e (diff) |
Merge pull request #7763 from obsidiansystems/installable-wide-info
Stratify `ExtraPathInfo` along `Installable` hierarchy
Diffstat (limited to 'doc/manual/src/release-notes/rl-1.5.md')
0 files changed, 0 insertions, 0 deletions