tree 073a7dbdcffec4c875fa5f3d0f7cae192f6447b5
parent c063b5caf776dee665497b64c5c17d4ed7e6750a
author jcater <jcater@google.com> 1591883868 -0700
committer John Cater <jcater@google.com> 1591894999 -0400

Restore missing Building with Platforms docs.

Also update to correct mailing lists.

Fixes #11581.

PiperOrigin-RevId: 315890712