mathlib3
fix(data/list/defs): remove chunking hack
#6441
Open

fix(data/list/defs): remove chunking hack #6441

gebner wants to merge 1 commit into master from fix-async-hack
gebner
gebner fix(data/list/defs): remove chunking hack
0511189a
jcommelin jcommelin requested a review from robertylewis robertylewis 4 years ago
jcommelin jcommelin requested a review from cipher1024 cipher1024 4 years ago
jcommelin jcommelin requested a review from digama0 digama0 4 years ago
bryangingechen bryangingechen added awaiting-author
kim-em
YaelDillies
kim-em kim-em added too-late
eric-wieser eric-wieser requested a review 2 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone