OSDN Git Service

Merge r8138
authorsdottaka <none@none>
Sun, 14 Jul 2013 08:58:48 +0000 (17:58 +0900)
committersdottaka <none@none>
Sun, 14 Jul 2013 08:58:48 +0000 (17:58 +0900)

Trivial merge