Commit History

Author SHA1 Message Date
  Andreas Rumpf 03c146cd93 do not track 'raise Defect' in the .raises: [] clause anymore (#14298) 4 years ago
  Jacek Sieka 7d6cbf290a Error -> Defect for defects (#13908) 4 years ago
  LemonBoy 3ce6b2acb9 Fix exception tracking in try blocks (#10455) 6 years ago