diff options
| author | Emilio Jesus Gallego Arias | 2018-08-29 14:42:30 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-08-29 14:42:30 +0200 |
| commit | ccb6729593cd35d9c1cfa680927f15cda635ad8f (patch) | |
| tree | dc1dd3529665f09196de8742d46254cdcb2fd0c6 /dev/ci | |
| parent | ba256907542d3ada8c824e535b2ba243c5bf7529 (diff) | |
| parent | e00dc32b1d533859a023834f91ede66f5240ad5a (diff) | |
Merge PR #8350: Fix typo in comment, sollicited --> solicited.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions