{"shas":[["9071eb915ebf46ec95bbff999c7d3c22b264423c","08a2fc565a1389a511ab9206b9a1e6b4b433486a@omnetpp.org",".oppfeatures: more consistent capitalization for feature IDs","Andras Varga"]],"ref":"refs/heads/integration","size":1,"head":"9071eb915ebf46ec95bbff999c7d3c22b264423c","push_id":32455845}