14 juni 2026
Schonere pull-requestgegevens en betrouwbaardere verrijking
Dubbele koppelingen met pull requests worden verwijderd voordat ze sessieweergaven en verrijking bereiken.
Schone, ontdubbelde pull-requeststatus #2109
Dubbele koppelingen met pull requests worden vóór de verrijking opgeschoond, zodat er geen herhaalde of tegenstrijdige statusgegevens meer ontstaan.