v0.12.5
c733acf4 · Include resources directory in Docker builds (closes #1725 closes #1727) ·