[webkit-reviews] review granted: [Bug 109016] [TestResultServer] Adjust the name of the GTK 64-bit debug builder : [Attachment 186772] Patch

[bugzilla-daemon at webkit.org]

Ojan Vafai <ojan at chromium.org> has granted Zan Dobersek
<zandobersek at gmail.com>'s request for review:
Bug 109016: [TestResultServer] Adjust the name of the GTK 64-bit debug builder
https://bugs.webkit.org/show_bug.cgi?id=109016

Attachment 186772: Patch
https://bugs.webkit.org/attachment.cgi?id=186772&action=review

------- Additional Comments from Ojan Vafai <ojan at chromium.org>
FWIW. builders.jsonp is generated using generate_builders_json.py. It's best to
use that to update this file, otherwise, whatever changes you make may not
stick the next time someone runs that script.