Github user corneadoug commented on the pull request:
https://github.com/apache/incubator-zeppelin/pull/725#issuecomment-217896651
@jmrr Yes, The goal was to take care of the export using #714 and #725 (for
front and back-end export).
This would allow most of the PR to be merged, and a good thing about it is
that the feature is not connected directly to the table plugin we want to use.
#858 for example is proposing a new table.
#761 was merged without a change in title indeed (so it can be misleading).
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at infrastruct...@apache.org or file a JIRA ticket
with INFRA.
---
