Re:[BUG] Indentation broken after double quote

[Ivan Sokolov]

Yes, I typed your example and got this:

* Some headline "hey"
  "
hey there

#+begin_src sh
'"'
#+end_src