Revision 6be69b7cd7115703a3a971b37a469136d227bccb

Committed on 01/10/2021 6:54 am by Randy Čupić <randy@netgen.hr> [GitHub Diff]

Adjust for new NGRM version