Revision ece79240a25c94c2d079716771f85628fa2fe015

Committed on 03/04/2019 9:30 am by gggeek <[email protected]> [GitHub Diff]

introduce dedicated exceptions for matchers