On Mon, Apr 25, 2016 at 10:09 PM, Antonio Diaz Diaz <anto...@gnu.org> wrote: > I propose the following solutions:
Looks good to me. _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed
