diff options
| author |  Mark Schaller <mschaller@google.com> | 2015-08-13 14:29:47 +0000 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2015-08-14 20:06:38 +0000 |
| commit | f1eef673b5c8394c58afb755f5d8a08f546165c0 (patch) | |
| tree | 9b12b8e1a96675608bfd90252ef1bcab2546fec5 /src/main/java/com/google/devtools/build/lib/server | |
| parent | 2ab3247957da0a02819ac414ca94861c0d15d5a6 (diff) | |
Deserialize configured map attributes that share keys
Previously, configured attribute value flattening caused failures when
deserializing maps whose configured values had entries with the same
keys. Now, flattened maps successfully deserialize, retaining the
first entry seen for each key.
--
MOS_MIGRATED_REVID=100573192
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/server')
0 files changed, 0 insertions, 0 deletions