Update and rename 2017-05-09-pintos-lobo-rosario.md to 2020-08-03-pintos-lobo-rosario.md#1

rpintosl wants to merge 6 commits intomasterrpintosl/NBCLab.github.io:masterfrom

rpintosl-patch-1rpintosl/NBCLab.github.io:rpintosl-patch-1Copy head branch name to clipboard