tree 89d9808853d940b447e822efa77e2f3f0d4530e9
parent e715b1a54b7038722bf888938e66a370410c24be
author P.Y. Laligand <pylaligand@google.com> 1493832956 -0700
committer P.Y. Laligand <pylaligand@google.com> 1493832956 -0700

Turns out this attribute is still needed...