Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
OngoingFactEntry: add dedicated style-class
This is a backport of ``4e2827c581a0c93b62aa021d8acd3aac25d25c36``. All credit goes to (@camlafit). Ref.:i#111
- Loading branch information