Skip to content
This repository has been archived by the owner on Oct 17, 2021. It is now read-only.

sp #295

Merged
merged 1 commit into from
Aug 22, 2018
Merged

sp #295

merged 1 commit into from
Aug 22, 2018

Conversation

bileschi
Copy link
Contributor

@bileschi bileschi commented Aug 22, 2018

Description

sp in comment.


This change is Reviewable

@bileschi bileschi requested a review from caisq August 22, 2018 11:47
@caisq
Copy link
Contributor

caisq commented Aug 22, 2018

Thanks, @bileschi!

@caisq caisq merged commit d2293d3 into master Aug 22, 2018
@dsmilkov dsmilkov deleted the sp branch February 21, 2019 15:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
2 participants