Re: devtools repo

> On Dec 13, 2024, at 3:35 PM, Matthias Seidel > wrote: > > Hi Dave, Jim, All, > > Am 13.12.24 um 16:58 schrieb Dave Fisher: >> >>> On Dec 13, 2024, at 2:34 AM, Jim Jagielski wrote: >>> >>> >>> On Dec 13, 2024, at 12:34 AM, Dave Fisher wrote: > On Dec 12, 202

Re: devtools repo

Hi Dave, Jim, All, Am 13.12.24 um 16:58 schrieb Dave Fisher: On Dec 13, 2024, at 2:34 AM, Jim Jagielski wrote: On Dec 13, 2024, at 12:34 AM, Dave Fisher wrote: On Dec 12, 2024, at 10:39 AM, Jim Jagielski wrote: On Dec 12, 2024, at 1:04 PM, Dave Fisher wrote: Agreed. Should we

Re: devtools repo

> On Dec 13, 2024, at 2:34 AM, Jim Jagielski wrote: > > > >> On Dec 13, 2024, at 12:34 AM, Dave Fisher wrote: >> >> >> >>> On Dec 12, 2024, at 10:39 AM, Jim Jagielski wrote: >>> >>> >>> On Dec 12, 2024, at 1:04 PM, Dave Fisher wrote: Agreed. Should we call the git ver