Please make sure that JavaScript is enabled in your browser. If you are using a browser extension to selectively enable or disable JavaScript, make sure it's enabled for this server.
Review Request #1495 — Created Dec. 7, 2018 and updated Dec. 19, 2018, 2:24 p.m. — Latest diff uploaded Dec. 7, 2018, 6:53 a.m.
Merge branch 'release-3.0.x' into release-4.0.x
