checkedint submission

[Andrei Alexandrescu via Digitalmars-d]

On 09/15/2016 02:38 PM, Robert burner Schadek wrote:
> could you please update the dub package

Did this just now:

git commit -am "Add const/immutable support"
git tag v0.0.3
git push -u origin master
git push --tags

Is this all? Thx!


Andrei