Hacker News new | ask | show | jobs
by robjan 1814 days ago
I experience exactly the same problem. After hitting the merge button, the UI sometimes reaches a completely inconsistent state.