Closed RalfJung closed 6 months ago
@bors r+
:pushpin: Commit 99be2b7c7c4af7dfbfc7447289d1637e633f09e6 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 99be2b7c7c4af7dfbfc7447289d1637e633f09e6 with merge 08fd742bf4230ebf43c36d264dbb7ec2a5dbd193...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 08fd742bf4230ebf43c36d264dbb7ec2a5dbd193 to master...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 08fd742bf4230ebf43c36d264dbb7ec2a5dbd193 to master...
Also put the FD types into those files; they can then even be made private there.