On 7/12/23 10:32, Palmer Dabbelt wrote:
OK. Not sure what the rationale behind that would be, but Kito may have had a good reason. Let's wait for his input.On Wed, 12 Jul 2023 09:02:06 PDT (-0700), jeffreya...@gmail.com wrote:On 7/11/23 21:30, juzhe.zh...@rivai.ai wrote:LGTMOK for the trunk.I'd like to make sure Kito is OK with this. IIUC the "pass through unknown extensions" behavior is deliberate. It's not what I would have done, but I didn't do it ;)
jeff