![](https://secure.gravatar.com/avatar/d930951cb00393ecf9c3db3a56d78fa9.jpg?s=120&d=mm&r=g)
21 Jul
2023
21 Jul
'23
4:52 p.m.
On Fri, Jul 21, 2023 at 04:50:35PM +0200, Takashi Iwai wrote:
Richard Fitzgerald wrote:
Changes are trivial so I have carried forward Mark's and Takashi's acks.
Mark, I suppose it's fine to take all of those to my sound.git tree?
Should be. Might be handy to have a branch to pull from in case of conflicts I guess but probably not essential?