erts: Fix spec for sequential_tracer
erts: Fix spec for sequential_tracer

lrascao/otp,dgud/otp,isvilen/otp,kvakvs/otp,lrascao/otp,rlipscombe/otp,vladdu/otp,ferd/otp,electricimp/otp,rlipscombe/otp,potatosalad/otp,bjorng/otp,emacsmirror/erlang,emacsmirror/erlang,uabboli/otp,getong/otp,dgud/otp,ferd/otp,vinoski/otp,isvilen/otp,rlipscombe/otp,uabboli/otp,g-andrade/otp,lrascao/otp,electricimp/otp,vladdu/otp,dgud/otp,dgud/otp,potatosalad/otp,ferd/otp,electricimp/otp,jj1bdx/otp,electricimp/otp,bjorng/otp,potatosalad/otp,getong/otp,vinoski/otp,rlipscombe/otp,lrascao/otp,lrascao/otp,bjorng/otp,electricimp/otp,emacsmirror/erlang,erlang/otp,vladdu/otp,rlipscombe/otp,dgud/otp,isvilen/otp,getong/otp,uabboli/otp,potatosalad/otp,uabboli/otp,mikpe/otp,dgud/otp,mikpe/otp,mikpe/otp,emacsmirror/erlang,isvilen/otp,ferd/otp,getong/otp,emacsmirror/erlang,getong/otp,erlang/otp,getong/otp,bjorng/otp,dumbbell/otp,uabboli/otp,rlipscombe/otp,vinoski/otp,jj1bdx/otp,jj1bdx/otp,dgud/otp,ferd/otp,g-andrade/otp,vladdu/otp,potatosalad/otp,isvilen/otp,uabboli/otp,vinoski/otp,uabboli/otp,vinoski/otp,bjorng/otp,dumbbell/otp,potatosalad/otp,vinoski/otp,vinoski/otp,kvakvs/otp,g-andrade/otp,dumbbell/otp,bjorng/otp,electricimp/otp,vladdu/otp,jj1bdx/otp,g-andrade/otp,jj1bdx/otp,emacsmirror/erlang,potatosalad/otp,ferd/otp,dumbbell/otp,electricimp/otp,bjorng/otp,dumbbell/otp,getong/otp,lrascao/otp,lrascao/otp,g-andrade/otp,vinoski/otp,mikpe/otp,mikpe/otp,kvakvs/otp,electricimp/otp,emacsmirror/erlang,g-andrade/otp,erlang/otp,erlang/otp,mikpe/otp,vladdu/otp,rlipscombe/otp,kvakvs/otp,mikpe/otp,mikpe/otp,dgud/otp,isvilen/otp,g-andrade/otp,jj1bdx/otp,isvilen/otp,vladdu/otp,jj1bdx/otp,kvakvs/otp,potatosalad/otp,kvakvs/otp,emacsmirror/erlang,jj1bdx/otp,erlang/otp,emacsmirror/erlang,getong/otp,getong/otp,uabboli/otp,erlang/otp,dumbbell/otp,uabboli/otp,isvilen/otp,g-andrade/otp,erlang/otp,kvakvs/otp,isvilen/otp,bjorng/otp,erlang/otp,dgud/otp,isvilen/otp,potatosalad/otp,ferd/otp,vinoski/otp,getong/otp,kvakvs/otp,erlang/otp,mikpe/otp,emacsmirror/erlang,dumbbell/otp,kvakvs/otp,dumbbell/otp,erlang/otp,lrascao/otp,jj1bdx/otp,bjorng/otp,vladdu/otp,dumbbell/otp,ferd/otp,dgud/otp,jj1bdx/otp,electricimp/otp,lrascao/otp,mikpe/otp,vladdu/otp,rlipscombe/otp,dumbbell/otp,rlipscombe/otp,vinoski/otp,g-andrade/otp,bjorng/otp,g-andrade/otp,potatosalad/otp,ferd/otp,rlipscombe/otp