Arduino_yun missing digital pins

Hardware and Blynk Libraries
1

Digital output pins D11,12,13 are not available, is this normal?

2

Is this iOS or Android?
We have fixed it, it will be available on following releases…