Claudio Atzori 878f2b931c Merge branch 'master' into merge_graph		2020-07-16 16:34:24 +02:00
..
main	Merge branch 'master' into merge_graph	2020-07-16 16:34:24 +02:00
test	bulk cleaning when found null or empty, sets bestaccessrights evaluating the result instances	2020-07-08 17:53:35 +02:00