diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-10-21T11·14+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-01-04T12·40+0100 |
| commit | 1ac8c0269a97853e762fb40a5105e4e99b9dc1e4 (patch) | |
| tree | bae9876483bc9162de3097b3e5d6e181807e18cf /.github | |
| parent | c7b4bf1c9cb830e15d517e3cb2b214ea838530b4 (diff) | |
SourceExprCommand::getSourceExpr(): Allocate more space
Fixes #3140. (cherry picked from commit 389a2cebed7cd72bda524ece0a56af2888cd80b6)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions