diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-08-07 16:37:05 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-08-07 16:37:05 +0200 |
| commit | a12cf285cd3c72c6faf572ca208c5891bb2f1631 (patch) | |
| tree | 77a88233581fb610d2d2aaa48325879e82acf1a6 /user_guide_src/source/libraries/benchmark.rst | |
| parent | de82e175cd333a503a43f53a00f19c2513573d97 (diff) | |
[ci skip] Partial patch for #2284
The issue description is about update_string(), which
I'm not sure if can be fixed at all. This patch only
addresses protect_identifiers().
Diffstat (limited to 'user_guide_src/source/libraries/benchmark.rst')
0 files changed, 0 insertions, 0 deletions