[GitHub] chrismattmann closed pull request #154: Fix for indexprogress bar allways being 100

chrismattmann closed pull request #154: Fix for indexprogress bar allways being 100 URL: https://github.com/apache/drat/pull/154 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 foreig

[GitHub] ahmedifhaam opened a new pull request #154: Fix for indexprogress bar allways being 100

ahmedifhaam opened a new pull request #154: Fix for indexprogress bar allways being 100 URL: https://github.com/apache/drat/pull/154 This is an automated message from the Apache Git Service. To respond to the message, please

[GitHub] ahmedifhaam opened a new pull request #153: This is the code for breaking dratstat

ahmedifhaam opened a new pull request #153: This is the code for breaking dratstat URL: https://github.com/apache/drat/pull/153 This is an automated message from the Apache Git Service. To respond to the message, please log

[GitHub] chrismattmann closed pull request #152: Added crawling progress bar

chrismattmann closed pull request #152: Added crawling progress bar URL: https://github.com/apache/drat/pull/152 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 (f