[GitHub] chrismattmann closed pull request #149: Second update on feedbacks

chrismattmann closed pull request #149: Second update on feedbacks URL: https://github.com/apache/drat/pull/149 This is a PR merged from a forked repository. As GitHub hides the original diff on merge, it is displayed below for the sake of provenance: As this is a foreign pull request

[GitHub] ahmedifhaam opened a new pull request #150: Fix for commandline drat

ahmedifhaam opened a new pull request #150: Fix for commandline drat URL: https://github.com/apache/drat/pull/150 This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and

[GitHub] ahmedifhaam opened a new pull request #151: Fix for commandline drat

ahmedifhaam opened a new pull request #151: Fix for commandline drat URL: https://github.com/apache/drat/pull/151 This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and

[GitHub] chrismattmann closed pull request #151: Fix for commandline drat

chrismattmann closed pull request #151: Fix for commandline drat URL: https://github.com/apache/drat/pull/151 This is a PR merged from a forked repository. As GitHub hides the original diff on merge, it is displayed below for the sake of provenance: As this is a foreign pull request