Merge: lib/github: uses nitcorn to listen Github hook events.
[nit.git] / tests / sav / base_prot3_alt5.res
1 alt/base_prot3_alt5.nit:20,12--14: Error: No property C::pub is inherited. Remove the redef keyword to define a new property.