monnier pushed a change to branch externals/embark-consult.

       was  d5df0eff18 Merge pull request #749 from minad/fix-last-heading

The revisions that were on this branch are still contained in
other references; therefore, this change does not discard any commits
from the repository.

Reply via email to