1. 2018-10-31 [5] [webkit-dev] Rename wtf/unicode/UTF8.h webkit-de Darin Adler 2. 2018-10-30 [5] [webkit-dev] Intent to land PlayStation port webkit-de Don.Olmstead 3. 2018-10-29 [1] [webkit-dev] Dewei Zhu is a WebKit reviewer webkit-de Ryosuke Niwa 4. 2018-10-24 [3] [webkit-dev] Testing iOS/WK1? webkit-de Frédéric Wa 5. 2018-10-22 [1] [webkit-dev] [Deadline October 30] Dropping support f webkit-de Guillaume Emo 6. 2018-10-15 [7] Re: [webkit-dev] Planned Maintenance: svn.webkit.org webkit-de Dean Johnson 7. 2018-10-12 [12] [webkit-dev] Huge improvement in Safari results on wp webkit-de Philip_Jägen 8. 2018-10-10 [1] [webkit-dev] =?utf-8?q?Reminder_=E2=80=93_2018_WebKit webkit-de Jonathan Davi 9. 2018-10-09 [3] [webkit-dev] BigIntBench webkit-de Caio Lima 10. 2018-10-02 [1] [webkit-dev] [Feature] Selection and copy & paste acr webkit-de Ryosuke Niwa 11. 2018-10-01 [1] Re: [webkit-dev] iOS EWS broken? webkit-de Jonathan Beda 12. 2018-10-01 [1] Re: [webkit-dev] Is gperf really needed when building webkit-de Michael Catan 13. 2018-10-01 [1] Re: [webkit-dev] WinCairo EWS bot broken? webkit-de Fujii Hironor