Github user 1ambda commented on the issue:
https://github.com/apache/zeppelin/pull/2177
@FRosner I updated GIF.
What #2176 and #2177 is trying to prevent local change from overwritten.
Overwriting occurs in many cases.
- #2176 is only about **when other browsers run the same paragraph**
- #2177 is related with **the case when people rename, remove, create
notes**
---
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 [email protected] or file a JIRA ticket
with INFRA.
---
