dev #93423 : add location coordinates to libraries JSON export
2 related merge requests: !3277 dev #93423 : add location coordinates to libraries JSON export, !3273 dev #93423 : add location coordinates to libraries JSON export
2 jobs
42 minutes 55 seconds, queued for 4 seconds