Bug #74104 ndb_join_pushdown documentation wrong?

Description:
The Manual says ndb_join_pushdown is global and can't be set dynamically,
but it acutally seems to be a runtime-settable per-session setting?

http://dev.mysql.com/doc/refman/5.6/en/mysql-cluster-system-variables.html#sysvar_ndb_join...

How to repeat:
mysql> show global variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | ON    |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> show session variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | ON    |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> set session ndb_join_pushdown=0;
Query OK, 0 rows affected (0.00 sec)

mysql> show global variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | ON    |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> show session variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | OFF   |
+-------------------+-------+
1 row in set (0.00 sec)

Hello Hartmut,

Thank you for the report.

Thanks,
Umesh

//

mysql> show variables like '%version%';
+-------------------------+------------------------------------------------------+
| Variable_name           | Value                                                |
+-------------------------+------------------------------------------------------+
| innodb_version          | 5.6.19                                               |
| ndb_version             | 459526                                               |
| ndb_version_string      | ndb-7.3.6                                            |
| ndbinfo_version         | 459526                                               |
| protocol_version        | 10                                                   |
| slave_type_conversions  |                                                      |
| version                 | 5.6.19-ndb-7.3.6-cluster-commercial-advanced-log     |
| version_comment         | MySQL Cluster Server - Advanced Edition (Commercial) |
| version_compile_machine | x86_64                                               |
| version_compile_os      | linux-glibc2.5                                       |
+-------------------------+------------------------------------------------------+
10 rows in set (0.00 sec)

mysql> show global variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | ON    |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> show session variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | ON    |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> set session ndb_join_pushdown=0;
Query OK, 0 rows affected (0.00 sec)

mysql> show session variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | OFF   |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> show global variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | ON    |
+-------------------+-------+
1 row in set (0.00 sec)

mysql> set global  ndb_join_pushdown=0;
Query OK, 0 rows affected (0.00 sec)

mysql> show global variables like 'ndb_join_pushdown';
+-------------------+-------+
| Variable_name     | Value |
+-------------------+-------+
| ndb_join_pushdown | OFF   |
+-------------------+-------+
1 row in set (0.00 sec)

Thank you for your bug report. This issue has been addressed in the documentation. The updated documentation will appear on our website shortly.