POC: optionally use rustic_core#92

aawsome wants to merge 2 commits into

drdo:maindrdo/redu:mainfrom

aawsome:mainaawsome/redu:mainCopy head branch name to clipboard