Christian Couder <[email protected]> writes: > Hi, > > On Wed, Jul 25, 2018 at 12:03 AM, Beat Bolli <[email protected]> wrote: >> >> On 24.07.18 23:59, Jonathan Nieder wrote: >>> >>> Beat Bolli wrote: > >>>> -inline void remote_odb_reinit(void) >>>> +void remote_odb_reinit(void) >>> >>> This looks like an oversight in >>> https://public-inbox.org/git/[email protected]/: >>> there isn't any reason for this function to be inline. >>> >>> Christian, can you squash it in on your next reroll? >> >> That would probably make sense. I didn't check how mature the topics >> were that caused errors. > > Ok, it is in the next version I will send.
OK, then I'll ignore this one for now.

