Hi Corinna, On Fri, 8 Nov 2019 10:22:30 +0100 Corinna Vinschen wrote: > Pushed, albeit I'm still missing a bit of description here. Just a one > liner is a bit low on info during `git log'. I'd really appreciate more > descriptive log messages...
Oh! Does "log message" mean git commit message? I misundersood that it meant strace log message. Sorry. -- Takashi Yano <takashi.y...@nifty.ne.jp>