Changes between Version 198 and Version 205 of Ticket #12415

Ticket #12415

• Property Authors changed from David Roe, Robert Bradshaw to David Roe, Robert Bradshaw, Jeroen Demeyer
• Property Dependencies changed from #13147,#13146, #13145, #12723, #12392, #12393, #12395, #12396, #12397, #12381, #12382, #12383, #12384, #11871, #13195, #13121, #13748, #13899, #12719, #5155, #14070, #14079 to #13147,#13146, #13145, #12723, #12392, #12393, #12395, #12396, #12397, #12381, #12382, #12383, #12384, #11871, #13195, #13121, #13748, #13899, #12719, #5155, #14070, #14079, #14150
• Property Reviewers changed from Jeroen Demeyer to Jeroen Demeyer, David Roe

Ticket #12415 – Description