Ping.  Please let me know if there's a better way I should be submitting patches.

On Wed, Jul 25, 2018 at 12:16 PM Tom Anderson <thomasanderson@google.com> wrote:
Hello,

I have a simple one-line patch that fixes the libdrm build with -std=c11.  I would appreciate if anyone with commit access could merge the attached change on my behalf.

Thanks!
Tom