Skip to content

Conversation

@tyhicks
Copy link
Contributor

@tyhicks tyhicks commented Aug 17, 2017

Fix a minor but potentially confusing man page typo.

@tyhicks
Copy link
Contributor Author

tyhicks commented Aug 22, 2017

I wanted to quickly comment that the CI failure is unrelated to this PR (which only adjusts a single line in a man page):

The job exceeded the maximum time limit for jobs, and has been terminated.

@pcmoore
Copy link
Member

pcmoore commented Aug 22, 2017

Yep, no worries about that. Not sure what the problem is there, it used to run just fine. I'll take a look at it.

@pcmoore
Copy link
Member

pcmoore commented Sep 12, 2017

Merged via 94d92b3, thanks.

@pcmoore pcmoore closed this Sep 12, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants