mirror of
https://github.com/opennetworkinglab/onos.git
synced 2025-10-23 13:21:21 +02:00
so that we don't have to join the two lists each time we want to see all instructions Change-Id: I7f1ad252776abcb6768372eeaabfa661bdded36c