Re: [PATCH] Remove unused db_set_variable

Applied, thanks! Flavio Cruz, le lun. 09 janv. 2023 00:30:49 -0500, a ecrit: > --- > ddb/db_variables.c | 16 > 1 file changed, 16 deletions(-) > > diff --git a/ddb/db_variables.c b/ddb/db_variables.c > index 3e20e689..40f2d4d3 100644 > --- a/ddb/db_variables.c > +++ b/ddb/db_va

[PATCH] Remove unused db_set_variable

--- ddb/db_variables.c | 16 1 file changed, 16 deletions(-) diff --git a/ddb/db_variables.c b/ddb/db_variables.c index 3e20e689..40f2d4d3 100644 --- a/ddb/db_variables.c +++ b/ddb/db_variables.c @@ -160,22 +160,6 @@ db_get_variable(db_expr_t *valuep) return (1); } -in