nonempty-0.12.patch
