Ori Avtalion wrote:
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.
Thanks for the feedback. I'll start working on it soon. Best regards, Antonio. _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed