Update to newer version of encyclopedia galactica

This commit is contained in:
2023-08-03 02:18:33 +02:00
parent 7a93c8054d
commit 413c5be270