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

Fix Traivs rules-test from #11998 #12057

Closed
wants to merge 1 commit into from
Closed

Fix Traivs rules-test from #11998 #12057

wants to merge 1 commit into from

Conversation

cschanaj
Copy link
Collaborator

@cschanaj cschanaj commented Aug 23, 2017

IMPORTANT: THIS IS CURRENTLY OUTDATED

@Hainish please merge this after #11998. thanks!

@cschanaj cschanaj closed this Aug 24, 2017
@cschanaj cschanaj deleted the fix-11998 branch August 24, 2017 06:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant