Commit 4db6c6d6a7 by veplaini on 6/28/2018 7:52 AM: on the way to fixing named instr allocation issues
Configure your notification preferences