Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Current processList function in tools/doc/json.js does not recognise {"type":"loose_item_start"}. Fix it. PR-URL: #5943 Fixes: #5942 Reviewed-By: Roman Reiss <[email protected]> Reviewed-By: Robert Lindstädt <[email protected]>
- Loading branch information