Innodb cluster options missing I have successfully installed and run an INNODB Cluster on mysql 8.0.19

However I cannot set options for the cluster

when we run 

cluster=dba.getCluster();
cluster.options();


We get the following error

Invalid object member options (AttributeError)


Please advise?
What MySQL Shell version are you using?

&lt;Cluster&gt;.options() was introduced in version 8.0.14: 

https://mysqlserverteam.com/mysql-innodb-cluster-changing-cluster-options-live/