Merge "addendum to prior change for github compatibility"
authorEric Z <ezavesky@research.att.com>
Thu, 12 Jul 2018 19:06:23 +0000 (19:06 +0000)
committerGerrit Code Review <gerrit@acumos.org>
Thu, 12 Jul 2018 19:06:23 +0000 (19:06 +0000)
commitf95116f8b5f8766d0ea63c25b87aa495e2dc1d52
tree6e854d41200315170e9f2dab00e80afcfca99a46
parentab2b8df96fb7e61c8519a14c2c7456d22780c89f
parent1db8882b436e690491b1c37601992473b4e979a6
Merge "addendum to prior change for github compatibility"