From 27983a057b316e719afe09c11808156c73283c78 Mon Sep 17 00:00:00 2001
From: Christopher Vagnetoft <cvagnetoft@gmail.com>
Date: Mon, 31 Oct 2022 15:36:01 +0100
Subject: [PATCH] Fix notice in DatasetManager

---
 src/DatasetManager.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DatasetManager.php b/src/DatasetManager.php
index c13a591..ec461ce 100644
--- a/src/DatasetManager.php
+++ b/src/DatasetManager.php
@@ -84,7 +84,7 @@ class DatasetManager
         if (file_exists($fn)) {
             $versions = include $fn;
             foreach ($versions['versions'] as $name=>$version) {
-                self::$packageVersions[$name] = $version['version'];
+                self::$packageVersions[$name] = array_key_exists('version',$version) ? $version['version'] : null;
             }
         }