Completed
Push — add/connection-ui ( 776f55...bf4f6b )
by
unknown
184:54 queued 174:43
created

Changes

2 issues (2 minor) were introduced.
2 added classes/operations
Arrow A Initial_State::get_plugins() added
Arrow B REST_Connector::connect_disconnect_plugin() added
5.11
▶   ± 0
Head
Sergey Mitroshin  
The plugins list.
Base
Sergey Mitroshin  
Refresh component: Display the "Refreshed" label for five seconds.