+0 Pauli
On 10/8/21 8:53 pm, Matt Caswell wrote:
topic: Revert the commits merged from PR #16027 in 1.1.1 Comment: Refer to issue #16266 for background Proposed by Tomas Mraz Public: yes opened: 2021-08-10 closed: 2021-mm-dd accepted: yes/no (for: X, against: Y, abstained: Z, not voted: T) Dmitry [+1] Matt [+1] Pauli [ ] Tim [-1] Richard [ ] Shane [-1] Tomas [+1] Kurt [ ] Matthias [ ] Nicola [-1]