publish: Merge pull request #8 from CampusPI/12345

generated from commit 913b8b8b49696384296b4875eee2b35e0af3f72c