diff options
author | Ernie Rael <errael@raelity.com> | 2023-03-16 21:43:15 +0000 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2023-03-16 21:43:15 +0000 |
commit | 076de79ad832558267b3ff903c048df2f4c1a5d6 (patch) | |
tree | e0412a99ca8e44db8702b98a6a1cec93a0c561b9 /src/version.c | |
parent | 16110ccf11de7a41cb0db0ae1ecb829e5a1b98fc (diff) |
patch 9.0.1411: accuracy of profiling is not optimalv9.0.1411
Problem: Accuracy of profiling is not optimal.
Solution: Use CLOCK_MONOTONIC if possible. (Ernie Rael, closes #12129)
Diffstat (limited to 'src/version.c')
-rw-r--r-- | src/version.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/version.c b/src/version.c index 8c69ef4adf..7882c231a9 100644 --- a/src/version.c +++ b/src/version.c @@ -696,6 +696,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1411, +/**/ 1410, /**/ 1409, |