diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-06-02 05:50:13 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-02 05:50:13 -0500 |
| commit | e3fb99b926f092da1e782bd4635ca00c1dc15f93 (patch) | |
| tree | d9c5f46ccd9f3e3c765892a8d410c6abd323cf7e /doc/contributing | |
| parent | 00fb1e14cde432c377c68a8bb273491f602cc90b (diff) | |
| parent | 30244891854c8e502885622a6fa0b19d2aa33bfb (diff) | |
Merge pull request #235520 from marsam/update-arti
arti: 1.1.4 -> 1.1.5
Diffstat (limited to 'doc/contributing')
0 files changed, 0 insertions, 0 deletions