Remove disjunction thing (buggy)
Remove disjunction thing (buggy)

hlplab/hlpspr1,wenru/ibex,hlplab/hlpspr1,wenru/ibex,addrummond/ibex,addrummond/ibex,wenru/ibex,wenru/ibex,addrummond/ibex,addrummond/ibex,hlplab/hlpspr1