Comment Comment by JDevlieghere Indeed, the commit hash reported in the version corresponds to something that landed on master at 11PM this Monday. parent JDevlieghere 6 years ago