diff options
| author |   Florin Coras <fcoras@cisco.com> | 2017-11-09 18:00:15 -0800 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2017-11-10 04:04:11 +0000 |
| commit | ad0c77f163472e0715c167aec59a26bcd34d649b (patch) | |
| tree | 92184cc6d56cda78a47fc638b4baa3532082d735 /src/vnet/vxlan-gpe | |
| parent | 6dfb5ac3e6e0c3db89a8d5f31be81263ef8bc862 (diff) | |
session: use pool for segment manager properties
Change-Id: I280fea2610dcfc0b2da84973b9f567daec42f1f6
Signed-off-by: Florin Coras <fcoras@cisco.com>
Diffstat (limited to 'src/vnet/vxlan-gpe')
0 files changed, 0 insertions, 0 deletions