diff options
author | Sergei Trofimovich <slyich@gmail.com> | 2023-05-05 16:11:12 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-05 16:11:12 +0100 |
commit | e350874729ddd63491431c02f62f7a62fe24f370 (patch) | |
tree | 490a8f6d22de35d3a5133a63dcb185469e4124e3 /maintainers | |
parent | b9d652d8a163518c041793b218c80017b20d87a0 (diff) | |
parent | 74aed074ecda8461c0f4ee276216e80d3df556f5 (diff) |
Merge pull request #230077 from trofi/rapidcheck-update
rapidcheck: unstable-2020-12-19 -> unstable-2023-04-16
Diffstat (limited to 'maintainers')
0 files changed, 0 insertions, 0 deletions