16 May
2022
16 May
'22
4:59 p.m.
On Mon, May 16, 2022 at 8:59 AM ron minnich rminnich@gmail.com wrote:
btw, sometimes this has gone the other direction .. https://github.com/lowRISC/opentitan/pull/5693
It looks like they did that solely to conform to Google's style guide which, dogmatic as it may appear, makes sense since OpenTitan is a Google-lead project.