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

fix-739 #740

Closed
wants to merge 1 commit into from
Closed

fix-739 #740

wants to merge 1 commit into from

Conversation

faisal-alvi
Copy link

No description provided.

@faisal-alvi
Copy link
Author

This PR is for #739

@kjellr
Copy link
Collaborator

kjellr commented Jan 9, 2019

Closing as per the notes in #739 (comment).

This PR will be addressed via Trac instead. Thank you!

@kjellr kjellr closed this Jan 9, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants