D-Programming-Language/dlang.org — pull request #465 by tcoserea (2013-12-30 22:31:36+00:00)
Title: Update dbc.dd

square_root(9) shall not return 2 (previous contract allows that)