1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Remove duplicate "$report_features"

This commit is contained in:
unknown
2006-11-23 17:26:06 +01:00
parent 026355d34a
commit e1c17c6518

View File

@ -223,9 +223,8 @@ our $opt_ndbcluster_port_slave;
our $opt_ndbconnectstring_slave;
our $opt_record;
our $opt_report_features;
my $opt_report_features;
our $opt_check_testcases;
my $opt_report_features;
our $opt_skip;
our $opt_skip_rpl;