chiark / gitweb /
~mdw / stgit / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 24eede7)
Flush the HEAD cache in set_head_file()
authorCatalin Marinas <catalin.marinas@gmail.com>
Fri, 7 Oct 2005 21:15:38 +0000 (22:15 +0100)
committerCatalin Marinas <catalin.marinas@gmail.com>
Fri, 7 Oct 2005 21:15:38 +0000 (22:15 +0100)
This function also changes the value read from the HEAD link but it didn't
flush the internal cached value.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>

No differences found
GIT patch-maintenance porcelain (local modifications)