[drat] 01/02: Merge branch 'gsoc-2018' of https://github.com/ahmedifhaam/drat into gsoc18

This is an automated email from the ASF dual-hosted git repository. mattmann pushed a commit to branch master in repository https://gitbox.apache.org/repos/asf/drat.git commit 681cd84f63c703526465818c093440f3ebe1fa4f Merge: 35e1fba 76d3b7e Author: Chris Mattmann AuthorDate: Mon Aug 20 15:19:29 2

[drat] 01/02: Merge branch 'gsoc-2018' of https://github.com/ahmedifhaam/drat into gsoc18

This is an automated email from the ASF dual-hosted git repository. mattmann pushed a commit to branch gsoc18 in repository https://gitbox.apache.org/repos/asf/drat.git commit da8746eaf3bbde9df27e74da66aee075656a0fba Merge: cbb9861 43560b0 Author: Chris Mattmann AuthorDate: Mon Aug 13 13:57:10 2

[drat] 01/02: Merge branch 'gsoc-2018' of https://github.com/ahmedifhaam/drat into gsoc18

This is an automated email from the ASF dual-hosted git repository. mattmann pushed a commit to branch gsoc18 in repository https://gitbox.apache.org/repos/asf/drat.git commit 42ec0f98d437be63df0c5babab79af9a8196891e Merge: f05c23d 5a9c9b5 Author: Chris Mattmann AuthorDate: Sat Aug 11 10:48:36 2