diff options
author | Linus Heckemann <git@sphalerite.org> | 2023-08-24T00·14+0200 |
---|---|---|
committer | Linus Heckemann <git@sphalerite.org> | 2023-08-24T10·07+0000 |
commit | a3dbb60213fad39f73f6a03fb5e14eaa09b85670 (patch) | |
tree | adef67551d4046e65618d2fb4e7bf7f6aef79be4 /tools/gerrit-update.nix | |
parent | e9bbc5f2af35c9c303a20adfa3c805eb13db767f (diff) |
fix(tvix/eval): off-by-one in replaceStrings r/6523
replaceStrings would previously fail to replace the last character in a string. Change-Id: I43a7c960945350b2e7a5b731b7fdb617723eb38f Reviewed-on: https://cl.tvl.fyi/c/depot/+/9151 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tools/gerrit-update.nix')
0 files changed, 0 insertions, 0 deletions