Re: Change in Gnu Package Name - behistun (instead of gbehistun)

[Amin Bandali]

Hello Christopher, all,

Christopher Dimech writes:

> Amin, Robert,
>
> I would be very grateful if you can have a look at changing the official
> package Gnu Behistun ("gbehistun") to simply "behistun".

This request of course is already done by now, but for future reference,
it is paramount that important decisions such as package renames first
be discussed and coordinated with the maintainers@gnu.org so that all
the package records could be properly updated.

Cheers,
amin