diff options
| author | Emilio Jesus Gallego Arias | 2019-01-23 12:10:28 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-01-23 12:10:28 +0100 |
| commit | 163000a8326ad559d2a0581608f2ccc83fe3beee (patch) | |
| tree | 0959e061af8f2812537e80df0e5ac90df7912137 /.github | |
| parent | c845fed94ab68f7891e08d0a8aabc1a7ddff11eb (diff) | |
| parent | 4baa950b79589c6617770b5612bd082fde9c9255 (diff) | |
Merge PR #9361: Make prvect tail recursive (fix #9355)
Ack-by: SkySkimmer
Reviewed-by: ejgallego
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions