Florian Eckert f94958e791 Merge pull request #4374 from RemiNV/map_type_rename ... protocols: rename type to maptype for map		2020-09-03 21:42:10 +02:00
..
protocol	Merge pull request #4374 from RemiNV/map_type_rename	2020-09-03 21:42:10 +02:00