Claudio Atzori 13f6506ce5 Change the selection criteria for the pivot record of a group so that by best pid type becomes the first criteria. This will have the effect to slowly converge to records having DOI		2024-07-03 10:44:01 +02:00
..
src	Change the selection criteria for the pivot record of a group so that by best pid type becomes the first criteria. This will have the effect to slowly converge to records having DOI	2024-07-03 10:44:01 +02:00
pom.xml	Miscellaneous fixes:	2024-04-24 08:12:45 +02:00