Closed dbrgn closed 10 years ago
Fixes #214.
Please review, @cfaessler.
Good to merge now, @cfaessler?
The declaration is lowercase to match the one generated by the pretty version :)
Coverage increased (+0.15%) when pulling dcd619693222a4cbd611039b4992b517dd6e3c0e on issue214 into a005ebbbc399b5c9a8de51361be21a8cfc4650d7 on master.
Good to merge!
Fixes #214.
Please review, @cfaessler.