-
Committer:
GitHub
-
Author(s):
Jan Štrobl
-
Date:
2023-03-19 13:10:54 UTC
-
mfrom:
(9494.1.39)
-
Revision ID:
git-v1:ee72e8d23de49951e88602cc3c1341e5ad3bb238
Merge pull request #62 from jstrobl/master
OK, using a "squash and merge" method for merging is not a best idea in this case. Let's do this merge properly to preserve the individual commits made by me...