Manually marking as Fix Released; not sure why it was done automatically by gerrit when the commit was merged.
Manually marking as Fix Released; not sure why it was done automatically by gerrit when the commit was merged.