July 27, 2017 Patch

{{Patch layout
 * source = http://store.steampowered.com/news/31172/
 * source-title = Portal 2 Update


 * before   = June 30, 2017 Patch
 * current  = July 27, 2017 Patch
 * after    = July 28, 2017 Patch


 * notes =

Undocumented changes

 * Fixed remote code execution exploit in animation system.