Skip to content
This repository has been archived by the owner on Jan 10, 2025. It is now read-only.

Pin syntect #92

Merged
merged 1 commit into from
Sep 15, 2019
Merged

Pin syntect #92

merged 1 commit into from
Sep 15, 2019

Conversation

swsnr
Copy link
Owner

@swsnr swsnr commented Sep 15, 2019

@swsnr swsnr added the bug Something isn't working label Sep 15, 2019
@swsnr swsnr merged commit 4616f31 into master Sep 15, 2019
@swsnr swsnr deleted the workaround-build-error branch September 15, 2019 09:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant