https://bugs.freedesktop.org/show_bug.cgi?id=99850
Michel Dänzer <mic...@daenzer.net> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|FIXED |---
Status|RESOLVED |REOPENED
--- Comment #10 from Michel Dänzer <mic...@daenzer.net> ---
Bug reports should only be resolved once the fix has landed in Git, preferably
with a reference to the commit fixing it.
BTW, always specify explicit Git commit hashes instead of "HEAD". HEAD refers
to the currently checked out commit, it has no meaning outside of your local
repository.
--
You are receiving this mail because:
You are the assignee for the bug._______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel
