Repository navigation

Fix a bug that survived into the recent Operator annotation PR - #332

Merged

jcflack merged 2 commits into

REL1_6_STABLEfrom

bug/REL1_6_STABLE/issue330

Nov 22, 2020

Merged

Fix a bug that survived into the recent Operator annotation PR#332
jcflack merged 2 commits into
REL1_6_STABLEfrom
bug/REL1_6_STABLE/issue330

Commits on Nov 20, 2020
- Fix copy-pasto in Operator annotation checking
  jcflack
  committed
  5e6955a
Commits on Nov 21, 2020
- Fix a lint warning
  jcflack
  committed
  165fe6f