Revert "Dummy commit"

This reverts commit a440924ff50df22d1cec1641d10d394f748725c9.