diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-28 08:25:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-28 08:25:38 +0200 |
| commit | 16d9918b514d4d2d7fb846de8f2b1107aefab0b9 (patch) | |
| tree | dfd0d8b3a50c0bedf67373677eafd0bb8f8f74c0 /misc | |
| parent | a386e59d4f4032a2311e8f127010290638b75969 (diff) | |
| parent | fc6ac4a155c45181d0a3528a4891c5a12e412d1f (diff) | |
Merge pull request #62467 from RandomShaper/descriptor_rw_matters
Consider uniform writability part of the interface of the set
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions