undo previous dummy commit

This commit is contained in:
mikkonecny 2017-08-22 07:16:49 +01:00
parent 325782d49d
commit af592833d2

View File

@ -2842,7 +2842,7 @@ packages:
"Michal Konecny <mikkonecny@gmail.com> @michalkonecny":
- hmpfr
- mixed-types-num
- mixed-types-num
"Bartosz Nitka <niteria@gmail.com> @niteria":
- oeis