commit | 725c15a4caec1e40ea475c70224473b23a2d8a51 | [log] [tgz] |
---|---|---|
author | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Dec 12 09:57:30 2017 -0200 |
committer | Roberto Ierusalimschy <roberto@inf.puc-rio.br> | Tue Dec 12 09:57:30 2017 -0200 |
tree | d73cecc65cf4ec838b059d0c1f99e6e53334455f | |
parent | b077b20206bf90a4d5cb683d8c63595f2af48756 [diff] |
when shrinking stack, always shrinks the CI list. (Stack overflow is not corelated to CI overflow anymore.)