Code review/Patch board/archive

List patches that have been successfully reviewed here (latest on top):


 * Thiemo Kreuz (WMDE): - Fix partly broken showMissing option in TitleInputWidget. Thiemo Kreuz (WMDE) 07:47, 2 February 2023 (UTC) -- reviewed+archived by Lucas Werkmeister (WMDE) (talk) 10:44, 3 February 2023 (UTC)
 * martineznovo: - PoolCounterRedis: Fix wrong cast, locks weren't being released. --Ciencia Al Poder (talk) 18:07, 1 February 2023 (UTC)