This commits add the fix for the following issue https://github.com/wcoder/highlightjs-line-numbers.js/issues/42. The pagure specific changes were merged to this update.
Fixes #3878
Signed-off-by: Clement Verna cverna@tutanota.com
:thumbsup:
Awesome, thanks for catching it! :)
Pull-Request has been merged by pingou
This commits add the fix for the following issue
https://github.com/wcoder/highlightjs-line-numbers.js/issues/42.
The pagure specific changes were merged to this update.
Fixes #3878
Signed-off-by: Clement Verna cverna@tutanota.com