Attendees: rscheff@, tuexen@, rrs@
  * [[https://reviews.freebsd.org/D31189|D31189]] fixes [[https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=254695|PR 254695]] and another independent issue. [[https://reviews.freebsd.org/D31189|D31189]] will be split. tuexen@ will provide the fix for [[https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=254695|PR 254695]], rrs@ will work on the other thing independently.
  * [[https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=257195|PR 257195]] seems like a mystery. tuexen@ will try to get more information, since he can reproduce this on an arm64 server with a NO-VIMAGE kernel.
  * [[https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=140597|PR140597]] has been resolved.
  * Will skip next meeting. Next meeting is August 12.
  * It was discussed if two issues fixed in stable/13 should also be fixed in 13.0. tuexen@ and rscheff@ will contact re@ about it.

Next meeting: 29 July @ 1400 UTC