Most likely there will not be a LEDE 17.01.3
Openwrt and LEDE are supposed to merge again. Current LEDE source would be renamed as new Openwrt. That has likely stopped the preparations for LEDE 17.06.0 (as it was supposed to be a new full release from master, instead of 17.01.3). At least I have not seen any release activity on the developer mailing list.
The practical aspects of the merge have been delayed somewhat, so the next release is somewhat in limbo. The next release might be be something like "Openwrt 17.11.0" or so.