bump infra
Merge branch 'master' of github.com:ChangeOrientedProgrammingEnvironment/intellijRecorder into priorityConfig
Merge pull request #23 from cdmihai/priorityConfig

bump infra