corrected footnote, and makefile
Passed
orestis.malaspin
created pipeline for commit
1af569bd
, finished
For master
11 seconds, queued for 8 seconds