This is already fixed in !62 (merged), which contains other changes. Here only the problem is fixed and the behaviour of PrChecker is otherwise unchanged.
This is already fixed in !62 (merged), which contains other changes. Here only the problem is fixed and the behaviour of PrChecker is otherwise unchanged.