Fix prior deserialization for priors with buffered attributes (#5167)#5167
Closed
hvarfner wants to merge 1 commit intofacebook:mainfrom
Closed
Fix prior deserialization for priors with buffered attributes (#5167)#5167hvarfner wants to merge 1 commit intofacebook:mainfrom
hvarfner wants to merge 1 commit intofacebook:mainfrom
Commits
Commits on Apr 22, 2026
- authored andcommitted
![meta-codesync[bot]](https://avatars.githubusercontent.com/in/1373969?v=4&size=32){kind=avatar}