Pull request has since been merged. Cheers!
On Tuesday, March 22, 2016 at 9:29:19 AM UTC+1, Rouke Broersma wrote:
>
> Hi, I love if someone had time to look at my pull request and provide
> feedback and or merge it. Thank you.
>
> Pull request:
Hi, I love if someone had time to look at my pull request and provide
feedback and or merge it. Thank you.
Pull request: https://github.com/jenkinsci/backend-crawler/pull/50
--
You received this message because you are subscribed to the Google Groups
"Jenkins Developers" group.
To unsubscribe