[GitHub] chrismattmann commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04

2017-11-14 Thread GitBox
chrismattmann commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04 URL: https://github.com/apache/drat/issues/104#issuecomment-344319099 awesome. Can you confirm this fixed your issue @ThejanW and that it builds?

[GitHub] ThejanW commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04

2017-11-14 Thread GitBox
ThejanW commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04 URL: https://github.com/apache/drat/issues/104#issuecomment-344315257 Oh! didn't notice that. thanks @chrismattmann :+1: This is an automated

[GitHub] ottlinger commented on issue #98: Make website at drat.apache.org

2017-11-14 Thread GitBox
ottlinger commented on issue #98: Make website at drat.apache.org URL: https://github.com/apache/drat/issues/98#issuecomment-344315047 Can anyone supply me with the following information about DRAT: * Twitter-handle (if existing) * Facebook-URL (if existing) * Instagram-URL (if

[GitHub] chrismattmann closed pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement

2017-11-14 Thread GitBox
chrismattmann closed pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement URL: https://github.com/apache/drat/pull/106 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:

[GitHub] ottlinger opened a new pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement

2017-11-14 Thread GitBox
ottlinger opened a new pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement URL: https://github.com/apache/drat/pull/106 This is an automated message from the Apache Git Service. To respond to