The branch 'mikael/heads/pr115494_v01' in namespace 'refs/users' was deleted.
It previously pointed to:

 6c41f4ab1f64... tree-optimization: Always select a representative available

Diff:

!!! WARNING: THE FOLLOWING COMMITS ARE NO LONGER ACCESSIBLE (LOST):
-------------------------------------------------------------------

  6c41f4a... tree-optimization: Always select a representative available
  cf2fdd5... Add test.

Reply via email to