Merge pull request #1059 from ranma42/jenkins-warnings-cleanup
commit5b860c3cf54ca74a937a68b8ef1a5313c2b93745
authorZoltan Varga <vargaz@gmail.com>
Mon, 26 May 2014 09:49:12 +0000 (26 11:49 +0200)
committerZoltan Varga <vargaz@gmail.com>
Mon, 26 May 2014 09:49:12 +0000 (26 11:49 +0200)
treec78a7c463d1d1a415b92ee2384cf0665cb21f8e7
parent97baa22e8675b932fe69face65954b656280582c
parenta0d84a2661f07d3236a1d3084d4d59b72e39bd6c
Merge pull request #1059 from ranma42/jenkins-warnings-cleanup

Cleanup of some MonoJenkins warnings