Commit History

Author SHA1 Message Date
  Jacek Sieka 7d6cbf290a Error -> Defect for defects (#13908) 4 years ago
  Flaviu Tamas c0a47f7e22 Rework nil/option for nre in light of ""==nil 6 years ago
  Flaviu Tamas 22b3e9df27 Revert 7f49364fd0 for nre 6 years ago
  Andreas Rumpf 7f49364fd0 make more tests green 6 years ago
  Flaviu Tamas 0527e1f9fe Rearrange nre files 9 years ago