# HG changeset patch # User Bram Moolenaar # Date 1327600607 -3600 # Node ID 63d3541d07339c65d602bac2bbc72d755b416ad8 # Parent 636b2d25ae0ea97c2412c5c0eac57fc3128a501d updated for version 7.3.417 Problem: Test 43 fails with a tiny build. Solution: Only run test 43 with at least a small build. diff --git a/src/version.c b/src/version.c --- a/src/version.c +++ b/src/version.c @@ -715,6 +715,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 417, +/**/ 416, /**/ 415,