Christian Couder <christian.couder@xxxxxxxxx> writes: > Hi, > > On Wed, Jul 25, 2018 at 12:03 AM, Beat Bolli <dev+git@xxxxxxxxx> 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/20180713174959.16748-6-chriscool@xxxxxxxxxxxxx/: >>> 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.
