Skip to content

Conversation

sserbin
Copy link
Contributor

@sserbin sserbin commented Oct 22, 2015

Fixes issue #113

tejasmanohar added a commit that referenced this pull request Oct 23, 2015
Restore exposing $boris for user configuration files
@tejasmanohar tejasmanohar merged commit 793a5f1 into borisrepl:master Oct 23, 2015
@tejasmanohar
Copy link
Contributor

Good catch

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants