Re: Rename read-md.c:decimal_string

[Richard Sandiford]

Rainer Orth <r...@cebitec.uni-bielefeld.de> writes:
> 2015-07-06  Rainer Orth  <r...@cebitec.uni-bielefeld.de>
>
>       * read-md.c (decimal_string): Rename to ...
>       (md_decimal_string): ... this.
>       (handle_enum): Reflect this.

OK, thanks.

Richard