[GitHub] chrisdutz commented on issue #12: fix a few typos

2018-08-13 Thread GitBox
chrisdutz commented on issue #12: fix a few typos URL: https://github.com/apache/incubator-plc4x/pull/12#issuecomment-412530954 And it does seem as if this revealed syncing problems from GitHub back to GitBox ... will investigate this.

[GitHub] chrisdutz commented on issue #12: fix a few typos

2018-08-13 Thread GitBox
chrisdutz commented on issue #12: fix a few typos URL: https://github.com/apache/incubator-plc4x/pull/12#issuecomment-412528417 Well I guess I can simply merge this from the GitHub ui ... thanks for this :-) This is an