Skip to content
This repository has been archived by the owner on Nov 20, 2024. It is now read-only.

add pedantic details to scoring #1883

Merged
merged 2 commits into from
Dec 10, 2019
Merged

add pedantic details to scoring #1883

merged 2 commits into from
Dec 10, 2019

Conversation

pq
Copy link
Member

@pq pq commented Dec 10, 2019

@pq pq merged commit bf30244 into master Dec 10, 2019
@pq pq deleted the score_update branch December 10, 2019 18:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants