diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-31 10:51:18 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-31 10:51:18 +0100 |
| commit | 420eb1aa34f17bd044e7bc40a6ebefac6249878e (patch) | |
| tree | fa7b54bb482c5d33361986990343eefe61429992 /.github | |
| parent | 93df2b0f6d1fe748587d5660c185c3b2155f6c74 (diff) | |
| parent | 7543a5e01451979b5ec72e95e34beb53f6440267 (diff) | |
Merge pull request #67445 from Zylann/rename_queue_delete
Rename queue_delete => queue_free
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions