changeset 62536 | 656e9653c645 |
parent 62525 | 0c9081056829 |
child 62537 | 7a9aa69f9b38 |
--- a/NEWS Mon Mar 07 23:20:11 2016 +0100 +++ b/NEWS Mon Mar 07 23:20:11 2016 +0100 @@ -48,6 +48,7 @@ rel_prod_apply ~> rel_prod_inject pred_prod_apply ~> pred_prod_inject INCOMPATIBILITY. + - The "size" plugin has been made compatible again with locales. * Renamed split_if -> if_split and split_if_asm -> if_split_asm to resemble the f.split naming convention, INCOMPATIBILITY.