~ols/veri-devel

No patches have been posted to this list yet.