On 04/30/2018 03:37 PM, Tom Tromey wrote: > This updates some text in dcache.c to follow GNU standards. > Here, I found a couple of spots needing an update. OK. Thanks, Pedro Alves