Skip to content

Conversation

@PaulRambags
Copy link
Contributor

No description provided.

@bertfrees
Copy link
Collaborator

Sorry haven't had time to look at this yet. Will do as soon as I can.

Copy link
Collaborator

@bertfrees bertfrees left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added three small inline comments.

The change looks good. It only makes sense to merge this when toc-text-resumed has been actually implemented though.

@bertfrees
Copy link
Collaborator

bertfrees commented Feb 5, 2020

Can be closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants