Revision 1c6b76b2f7f504a905365c6035332d7364288b2a

Committed on 30/08/2017 6:26 am by Luca Realdi <[email protected]> [GitHub Diff]

no_index_if_needed operator considera openpa.ini