The developers are waiting for this to pass and continuing on with all the planned work.
I personally have not sold 1 coin through this.
That's because you didn't expect it to crash like this

Otherwise you would have sold high and bought back low. Basically, yes, you should have sold.