diff options
| author | coqbot-app[bot] | 2020-08-25 13:03:36 +0000 |
|---|---|---|
| committer | GitHub | 2020-08-25 13:03:36 +0000 |
| commit | af5e7d44a2a685fe72a65df3daae577938eaa989 (patch) | |
| tree | cd4d0e3e88dd8ddaf223b32cf4d197734c2e558e /dev | |
| parent | 83da5d4f27eb1ebc3eeb89343433fb77b6fccacf (diff) | |
| parent | 80a95afb14fce55781bf7ded5a65233a3f3192b0 (diff) | |
Merge PR #12758: Fixing a coercion entry transitivity bug.
Reviewed-by: SkySkimmer
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions