diff options
| author | Ubaldo Tiberi <ubaldo.tiberi@google.com> | 2024-06-20 22:17:34 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-06-20 22:24:26 +0200 |
| commit | f7f8f0b76dc6a3bf5d51825db65245221e5d265e (patch) | |
| tree | e2a4c2805570699ae96197b1ffc500ed58336b08 /src/version.c | |
| parent | 6ccf6da7a2a7a0b9d1e23a905b091d762e911609 (diff) | |
patch 9.1.0508: termdebug plugin can be further improvedv9.1.0508
Problem: termdebug plugin can be further improved
Solution: add sanity-check, timeout config, change vars to bool
update docs, add more tests (Ubaldo Tiberi)
fixes: #15061
closes: #15057
Signed-off-by: Ubaldo Tiberi <ubaldo.tiberi@google.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
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 da82b3683f..f9c298346f 100644 --- a/src/version.c +++ b/src/version.c @@ -705,6 +705,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 508, +/**/ 507, /**/ 506, |