<div dir="ltr">​<div style="font-family:verdana,sans-serif;color:rgb(0,0,0)" class="gmail_default">Hello team,<br><br></div><div style="font-family:verdana,sans-serif;color:rgb(0,0,0)" class="gmail_default">FYI:-<a target="_blank" href="https://github.com/almighty/almighty-core/pull/395"> PR#395</a> is merged to master, hence please do `make generate` after rebase to upstream msater.<br></div></div>