thanks, on my system that produced the answer:
git log -1 --date=local --format="%cd (%h)" Thu Jun 22 22:09:08 2017 (213013a)
I think this answer is probably correct since there was indeed a commit made at: commit 213013a5a08d37bd29da167eece256be75cebe7c Author: Felipe Corrêa da Silva Sanches <juca@...2270...> Date: Thu Jun 22 23:09:08 2017 -0300
However, it does not exactly answer my question. Assume that someone has reported that a bug was fixed in commit number: '0edfdf95' How would I find out when this was done? In other words, what is the mechanism whereby someone can verbally report that a bug was fixed in a certain commit, and that someone else can independently confirm when it was fixed? Sorry to be a pest, but this is an essential feature of a bug reporting/fixing system.
Alvin
-- View this message in context: http://inkscape.13.x6.nabble.com/two-trivial-questions-concerning-the-gitlab... Sent from the Inkscape - Dev mailing list archive at Nabble.com.