diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-09-13 11:48:27 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-09-13 11:48:29 -0400 |
| commit | f0a6a922fe64c16829649281f182dc8c5e153333 (patch) | |
| tree | 1578c84eff325223feedce036e010de650fd92ed | |
| parent | d73205ef3652e1ea58d9b90f3f397fdf2e6bd9fd (diff) | |
| parent | 14b29a77acb2ea7ebc5c9d08ace1ac5e08013384 (diff) | |
Merge #14213: Docs: Fix reference to lint-locale-dependence.sh
14b29a77ac Fix reference to lint-locale-dependence.sh (Hennadii Stepanov)
Pull request description:
The wrong reference sneaked through #13041 and #13281.
Tree-SHA512: 39cc74297d00141206ce68b84575288a20e39e20ef717fa8b8c09076b5fb46d8281320b144a596094365f2a0704e5dd6bf960e35980ae4730546a72957403d69
| -rw-r--r-- | doc/developer-notes.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer-notes.md b/doc/developer-notes.md index da8384c537..7c9106a6c1 100644 --- a/doc/developer-notes.md +++ b/doc/developer-notes.md @@ -512,7 +512,7 @@ Strings and formatting - *Rationale*: These functions do overflow checking, and avoid pesky locale issues. - Avoid using locale dependent functions if possible. You can use the provided - [`lint-locale-dependence.sh`](/contrib/devtools/lint-locale-dependence.sh) + [`lint-locale-dependence.sh`](/test/lint/lint-locale-dependence.sh) to check for accidental use of locale dependent functions. - *Rationale*: Unnecessary locale dependence can cause bugs that are very tricky to isolate and fix. |